From 04386c1cd88265fab376109808e0f45a15ec781a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 11 Jan 2017 20:27:52 +0100
Subject: [PATCH] rename soundness -> adequacy
For consistency with how we call this elsewhere in Iris.
---
_CoqProject | 2 +-
theories/typing/{soundness.v => adequacy.v} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename theories/typing/{soundness.v => adequacy.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index 4de595c5..c62d8f89 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/soundness.v
+theories/typing/adequacy.v
theories/typing/tests/get_x.v
theories/typing/tests/rebor.v
theories/typing/tests/unbox.v
diff --git a/theories/typing/soundness.v b/theories/typing/adequacy.v
similarity index 100%
rename from theories/typing/soundness.v
rename to theories/typing/adequacy.v
--
GitLab