From 2b9bc762ae31266212e7ab2defec7df41b08b6f8 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 8 Aug 2013 18:52:05 +0000
Subject: Fix testsuite so that it works with STM

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

diff --git a/test-suite/output/simpl.v b/test-suite/output/simpl.v
index 5f1926f142..89638eedd7 100644
--- a/test-suite/output/simpl.v
+++ b/test-suite/output/simpl.v
@@ -4,10 +4,10 @@ Goal forall x, 0+x = 1+x.
 intro x.
 simpl (_ + x).
 Show.
-Undo.
+Undo 2.
 simpl (_ + x) at 2.
 Show.
-Undo.
+Undo 2.
 simpl (0 + _).
 Show.
-Undo.
+Undo 2.
-- 
cgit v1.2.3