From 3b257c35c0b0e85fcbae0cdc4c93d124003a6464 Mon Sep 17 00:00:00 2001
From: Kenji Maillard
Date: Tue, 5 Nov 2019 13:44:43 +0100
Subject: Fixing test-suite

---
 test-suite/bugs/closed/bug_10196.v | 8 ++++----
 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.
-- 
cgit v1.2.3