From e8134a4b6c921f30256cecf8a2c3ff596380cf2e Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Thu, 19 Dec 2013 18:59:28 +0100
Subject: test-suite/output/Notations : evar number change

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

diff --git a/test-suite/output/Notations.out b/test-suite/output/Notations.out
index 9b2ba5dfcc..54b4939e64 100644
--- a/test-suite/output/Notations.out
+++ b/test-suite/output/Notations.out
@@ -120,11 +120,11 @@ fun x : option Z => match x with
                     | NONE2 => 0
                     end
      : option Z -> Z
-fun x : list ?90 => match x with
+fun x : list ?95 => match x with
                     | NIL => NONE2
                     | (_ :') t => SOME2 t
                     end
-     : list ?90 -> option (list ?90)
+     : list ?95 -> option (list ?95)
 s
      : s
 Identifier 'foo' now a keyword
-- 
cgit v1.2.3