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 /Makefile | |
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 'Makefile')
0 files changed, 0 insertions, 0 deletions