From e2596317ad17299a3616737ed56f8e4feadaae45 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Dec 2011 17:54:29 +0000
Subject: Adapting test Existentials to new numbering strategy of evars
 (r14764).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14777 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/output/Existentials.out | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test-suite/output/Existentials.out b/test-suite/output/Existentials.out
index d5ea4f52d6..2f756cbb11 100644
--- a/test-suite/output/Existentials.out
+++ b/test-suite/output/Existentials.out
@@ -1,3 +1,3 @@
-Existential 1 = ?17 : [q : nat  n : nat  m : nat |- n = ?16] 
-Existential 2 = ?16 : [n : nat  m : nat |- nat] 
-Existential 3 = ?14 : [p : nat  q := S p : nat  n : nat  m : nat |- ?16 = m] 
+Existential 1 = ?10 : [q : nat  n : nat  m : nat |- n = ?9] 
+Existential 2 = ?9 : [n : nat  m : nat |- nat] 
+Existential 3 = ?7 : [p : nat  q := S p : nat  n : nat  m : nat |- ?9 = m] 
-- 
cgit v1.2.3