From 8f93d6e3b5a649a18a6033aa607c2d8dce59ad37 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 10 Jun 2021 13:22:08 +0200
Subject: [PATCH] Renamed tests/solve_proper.v -> tests/proper.v since it tests
 more Proper related stuff.

---
 tests/{solve_proper.ref => proper.ref} | 0
 tests/{solve_proper.v => proper.v}     | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 rename tests/{solve_proper.ref => proper.ref} (100%)
 rename tests/{solve_proper.v => proper.v} (100%)

diff --git a/tests/solve_proper.ref b/tests/proper.ref
similarity index 100%
rename from tests/solve_proper.ref
rename to tests/proper.ref
diff --git a/tests/solve_proper.v b/tests/proper.v
similarity index 100%
rename from tests/solve_proper.v
rename to tests/proper.v
-- 
GitLab