From 0efba04058ba28889c83553224309be216873298 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Sep 2014 13:43:24 +0200
Subject: Adapting to naming of evars.

---
 test-suite/output/Existentials.out | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/output/Existentials.out b/test-suite/output/Existentials.out
index fb11019d48..52e1e0ed01 100644
--- a/test-suite/output/Existentials.out
+++ b/test-suite/output/Existentials.out
@@ -1,3 +1,5 @@
-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 : [q : nat  n : nat  m : nat |- n = ?9] 
+Existential 1 =
+?Goal1 : [p : nat  q := S p : nat  n : nat  m : nat |- ?y = m] 
+Existential 2 =
+?y : [p : nat  q := S p : nat  n : nat  m : nat |- nat] (p, q cannot be used)
+Existential 3 = ?Goal0 : [q : nat  n : nat  m : nat |- n = ?y] 
-- 
cgit v1.2.3