diff options
Diffstat (limited to 'test-suite/bugs/closed/bug_10196.v')
| -rw-r--r-- | test-suite/bugs/closed/bug_10196.v | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test-suite/bugs/closed/bug_10196.v b/test-suite/bugs/closed/bug_10196.v index e2d6be56e9..d003ab323d 100644 --- a/test-suite/bugs/closed/bug_10196.v +++ b/test-suite/bugs/closed/bug_10196.v @@ -17,10 +17,10 @@ Fail Ltac2 Eval notUppercased2. (* And the same for open types*) Ltac2 Type open_type := [ .. ]. -Fail Ltac2 Type open_type ::= [ notUppercased ]. -Ltac2 Type open_type ::= [ Uppercased ]. +Fail Ltac2 Type open_type ::= [ notUppercased3 ]. +Ltac2 Type open_type ::= [ Uppercased3 ]. -Fail Ltac2 Eval notUppercased. -Ltac2 Eval Uppercased. +Fail Ltac2 Eval notUppercased3. +Ltac2 Eval Uppercased3. Fail Ltac2 Type foo ::= [ | bar1 | bar2 ]. |