diff options
author | 2017-06-15 23:09:52 -0400 | |
---|---|---|
committer | 2017-06-16 15:02:15 -0400 | |
commit | d0d0fbd4499296a2164e209466227892671556f0 (patch) | |
tree | c91daa1fc0c4fb258fed88b91de7dd78c6d390e4 /src/Specific | |
parent | b2b8403ca76f6fd461d9a71ac2e9add4359bba8c (diff) |
Fix CArrayNotations
Work around [bug #5608](https://coq.inria.fr/bugs/show_bug.cgi?id=5608),
Anomaly: No printing rule found for _ _ [1] = { _ } ; return ( _ , _ ,
.. , _ ). Please report at http://coq.inria.fr/bugs/.
Diffstat (limited to 'src/Specific')
0 files changed, 0 insertions, 0 deletions