From 427363dca4d5bf9628deba9b75cbaa85fdd92d54 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jjourdan@mpi-sws.org>
Date: Thu, 12 Jan 2017 14:34:22 +0100
Subject: [PATCH] Revert "rename soundness -> adequacy"
This reverts commit 04386c1cd88265fab376109808e0f45a15ec781a.
---
_CoqProject | 2 +-
theories/typing/{adequacy.v => soundness.v} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename theories/typing/{adequacy.v => soundness.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index c62d8f89..4de595c5 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -44,7 +44,7 @@ theories/typing/cont.v
theories/typing/fixpoint.v
theories/typing/type_sum.v
theories/typing/typing.v
-theories/typing/adequacy.v
+theories/typing/soundness.v
theories/typing/tests/get_x.v
theories/typing/tests/rebor.v
theories/typing/tests/unbox.v
diff --git a/theories/typing/adequacy.v b/theories/typing/soundness.v
similarity index 100%
rename from theories/typing/adequacy.v
rename to theories/typing/soundness.v
--
GitLab