diff options
Diffstat (limited to 'test-suite/failure/Notations.v')
| -rw-r--r-- | test-suite/failure/Notations.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/failure/Notations.v b/test-suite/failure/Notations.v index e8ebad8fd..074e176aa 100644 --- a/test-suite/failure/Notations.v +++ b/test-suite/failure/Notations.v @@ -4,3 +4,4 @@ Notation "! A" := (forall i:nat, A) (at level 60). (* Should fail: no dynamic capture *) Check ! (i=i). + |