diff options
| author | Kenji Maillard | 2019-11-05 13:44:43 +0100 |
|---|---|---|
| committer | Kenji Maillard | 2019-11-05 16:33:16 +0100 |
| commit | 3b257c35c0b0e85fcbae0cdc4c93d124003a6464 (patch) | |
| tree | 92796a4484b65e7b305f5c7f414b3b8679c5b765 | |
| parent | 5711fc6dcd9a0a566e0bbb543e9d7edb413aacf4 (diff) | |
Fixing test-suite
| -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. |