diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-15 22:39:47 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-15 22:39:47 -0400 |
commit | 29ad742d76dca90ec9c8d03ab6f4359ccf053a90 (patch) | |
tree | f52458b5e3dc961e5531777f88b7ac045cc91ddb /_CoqProject | |
parent | fb1ea0af216dfd0dcb1b31cf069890081bdd0198 (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-- | _CoqProject | 1 |
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 |