Test suite: update output reference.

2 files changed, 9 insertions, 9 deletions

diff --git a/test-suite/output/Existentials.out b/test-suite/output/Existentials.out
index 629453390..fb11019d4 100644
--- a/test-suite/output/Existentials.out
+++ b/test-suite/output/Existentials.out
@@ -1,3 +1,3 @@
-Existential 1 = ?7 : [q : nat  n : nat  m : nat |- n = ?9] 
+Existential 1 = ?7 : [p : nat  q := S p : nat  n : nat  m : nat |- ?9 = m] 
 Existential 2 = ?9 : [n : nat  m : nat |- nat] 
-Existential 3 = ?10 : [p : nat  q := S p : nat  n : nat  m : nat |- ?9 = m] 
+Existential 3 = ?10 : [q : nat  n : nat  m : nat |- n = ?9] 
diff --git a/test-suite/output/Notations.out b/test-suite/output/Notations.out
index 2fd5efe5d..9b2ba5dfc 100644
--- a/test-suite/output/Notations.out
+++ b/test-suite/output/Notations.out
@@ -50,14 +50,14 @@ The command has indeed failed with message:
 => Error: x should not be bound in a recursive pattern of the right-hand side.
 The command has indeed failed with message:
 => Error: in the right-hand side, y and z should appear in
-   term position as part of a recursive pattern.
+term position as part of a recursive pattern.
 The command has indeed failed with message:
 => Error: The reference w was not found in the current environment.
 The command has indeed failed with message:
 => Error: x is unbound in the right-hand side.
 The command has indeed failed with message:
 => Error: in the right-hand side, y and z should appear in
-   term position as part of a recursive pattern.
+term position as part of a recursive pattern.
 The command has indeed failed with message:
 => Error: z is expected to occur in binding position in the right-hand side.
 The command has indeed failed with message:
@@ -120,11 +120,11 @@ fun x : option Z => match x with
                     | NONE2 => 0
                     end
      : option Z -> Z
-fun x : list ?103 => match x with
-                     | NIL => NONE2
-                     | (_ :') t => SOME2 t
-                     end
-     : list ?103 -> option (list ?103)
+fun x : list ?90 => match x with
+                    | NIL => NONE2
+                    | (_ :') t => SOME2 t
+                    end
+     : list ?90 -> option (list ?90)
 s
      : s
 Identifier 'foo' now a keyword