From e77f2b4a93b8f8bd84736940f1d7be07b64102ca Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Mon, 29 Jun 2020 16:52:27 +0200
Subject: [PATCH] Renamed file to avoid name clashes
---
_CoqProject | 2 +-
theories/logrel/examples/{subtyping.v => rec_subtyping.v} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename theories/logrel/examples/{subtyping.v => rec_subtyping.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index 014c3c8..94f4bdf 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -31,5 +31,5 @@ theories/logrel/term_typing_rules.v
theories/logrel/lib/mutex.v
theories/logrel/examples/double.v
theories/logrel/examples/pair.v
-theories/logrel/examples/subtyping.v
+theories/logrel/examples/rec_subtyping.v
diff --git a/theories/logrel/examples/subtyping.v b/theories/logrel/examples/rec_subtyping.v
similarity index 100%
rename from theories/logrel/examples/subtyping.v
rename to theories/logrel/examples/rec_subtyping.v
--
GitLab