aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-06-15 22:39:47 -0400
committerGravatar Jason Gross <jgross@mit.edu>2017-06-15 22:39:47 -0400
commit29ad742d76dca90ec9c8d03ab6f4359ccf053a90 (patch)
treef52458b5e3dc961e5531777f88b7ac045cc91ddb /_CoqProject
parentfb1ea0af216dfd0dcb1b31cf069890081bdd0198 (diff)
Revert "Add CArrayNotations"
This reverts commit 44359b29d99ab52154dcfdf2b2b16bca7dbaf339. It triggers [bug #5469](https://coq.inria.fr/bugs/show_bug.cgi?id=5469), which is present in 8.6, but not v8.6 (nor 8.6.1, once it comes out).
Diffstat (limited to '_CoqProject')
-rw-r--r--_CoqProject1
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject
index 973cbc7ab..833781ed8 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -124,7 +124,6 @@ src/Compilers/Z/ArithmeticSimplifierInterp.v
src/Compilers/Z/ArithmeticSimplifierUtil.v
src/Compilers/Z/ArithmeticSimplifierWf.v
src/Compilers/Z/BinaryNotationConstants.v
-src/Compilers/Z/CArrayNotations.v
src/Compilers/Z/CNotations.v
src/Compilers/Z/CommonSubexpressionElimination.v
src/Compilers/Z/CommonSubexpressionEliminationInterp.v