From 87f253774eb758215b2fb188e0d30b6fce4f3a23 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 8 Oct 2013 19:13:29 +0000
Subject: Fixing 2 output test-suites.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16863 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/output/Existentials.out | 4 ++--
 test-suite/output/inference.out    | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/test-suite/output/Existentials.out b/test-suite/output/Existentials.out
index 2f756cbb11..629453390e 100644
--- a/test-suite/output/Existentials.out
+++ b/test-suite/output/Existentials.out
@@ -1,3 +1,3 @@
-Existential 1 = ?10 : [q : nat  n : nat  m : nat |- n = ?9] 
+Existential 1 = ?7 : [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] 
+Existential 3 = ?10 : [p : nat  q := S p : nat  n : nat  m : nat |- ?9 = m] 
diff --git a/test-suite/output/inference.out b/test-suite/output/inference.out
index e2a36cfe7c..a394c56ddc 100644
--- a/test-suite/output/inference.out
+++ b/test-suite/output/inference.out
@@ -6,7 +6,7 @@ fun e : option L => match e with
      : option L -> option L
 fun (m n p : nat) (H : S m <= S n + p) => le_S_n m (n + p) H
      : forall m n p : nat, S m <= S n + p -> m <= n + p
-fun n : nat => let x := A n in ?17 ?20:T n
+fun n : nat => let x := A n in ?12 ?15:T n
      : forall n : nat, T n
-fun n : nat => ?25 ?28:T n
+fun n : nat => ?20 ?23:T n
      : forall n : nat, T n
-- 
cgit v1.2.3