diff options
| author |  puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-01-19 11:07:57 +0000 |
|---|---|---|
| committer | puech <puech@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-01-19 11:07:57 +0000 |
| commit | 6002a74c9fdfcaf339b3217300532ff1c1144bc4 (patch) | |
| tree | 375a850f6f896199b5b5b9f60f1e324ffd358ce6 /test-suite/output/Existentials.out | |
| parent | 8a2c029b0ae88888efe707c00f1a288e5c17cfb3 (diff) | |
The initial state evar numbering increased. Fix output message in a test.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11805 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/output/Existentials.out')
| -rw-r--r-- | test-suite/output/Existentials.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/Existentials.out b/test-suite/output/Existentials.out index d23dd2c20..b295ae86f 100644 --- a/test-suite/output/Existentials.out +++ b/test-suite/output/Existentials.out @@ -1 +1 @@ -Existential 1 = ?3 : [n : nat m : nat |- nat] +Existential 1 = ?7 : [n : nat m : nat |- nat] |