From 4b8cd99705596052b7b45f29c248c9d02875ccdc Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 12 Jan 2015 12:56:07 +0100
Subject: Fixing name of evars in output test Notation.v.

---
 test-suite/output/Notations.out | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/test-suite/output/Notations.out b/test-suite/output/Notations.out
index 7856bb6f62..60ee72b363 100644
--- a/test-suite/output/Notations.out
+++ b/test-suite/output/Notations.out
@@ -111,13 +111,14 @@ fun x : option Z => match x with
                     | NONE2 => 0
                     end
      : option Z -> Z
-fun x : list ?T0 => match x with
+fun x : list ?T1 => match x with
                     | NIL => NONE2
                     | (_ :') t => SOME2 t
                     end
-     : list ?T0 -> option (list ?T0)
+     : list ?T1 -> option (list ?T1)
 where
-?T0 : [x : list ?T0 |- Type] (x cannot be used)
+?T1 : [x : list ?T1  x1 : list ?T1  x0 := x1 : list ?T1 |- Type] (x, x1,
+      x0 cannot be used)
 s
      : s
 10
-- 
cgit v1.2.3