diff options
| -rw-r--r-- | test-suite/bugs/closed/bug_10196.v | 8 | ||||
| -rw-r--r-- | test-suite/bugs/closed/bug_11046.v | 2 |
2 files changed, 5 insertions, 5 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 ]. diff --git a/test-suite/bugs/closed/bug_11046.v b/test-suite/bugs/closed/bug_11046.v index c73fa78473..528cc4c8ff 100644 --- a/test-suite/bugs/closed/bug_11046.v +++ b/test-suite/bugs/closed/bug_11046.v @@ -15,5 +15,5 @@ Module Other. Ltac2 Type t ::= [A(bool)]. End Other. Module YetAnother. - Ltac2 Type t' := [A]. + Ltac2 Type t := [A]. End YetAnother. |