diff options
| author | Pierre-Marie Pédrot | 2017-08-31 18:55:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-31 19:02:29 +0200 |
| commit | 7efbf5add76d640b5083110a5163bb8c1b98dabd (patch) | |
| tree | 205fd0650b144430aa6b5b2f84da1fb865d5df12 /tests/errors.v | |
| parent | edc4126a37d7ea8f99142b706c9e6b6eb806443e (diff) | |
Fix coq/ltac2#10: Antiquotation syntax breaks when backtracking across `Require`.
Diffstat (limited to 'tests/errors.v')
0 files changed, 0 insertions, 0 deletions