From a28e2d94c7a0ee0c85d7f018115ffc2c64e62d5f Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 12 Mar 2010 16:40:02 +0000
Subject: fixed minor pbs with test cases

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12865 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/complexity/guard.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test-suite/complexity')

diff --git a/test-suite/complexity/guard.v b/test-suite/complexity/guard.v
index f64ffc259..387263e2f 100644
--- a/test-suite/complexity/guard.v
+++ b/test-suite/complexity/guard.v
@@ -1,6 +1,6 @@
 (* Examples to check that the guard condition does not unfold
    irrelevant subterms *)
-(* Expected time < 1s *)
+(* Expected time < 1.00s *)
 Require Import Bool.
 
 Fixpoint slow n :=
-- 
cgit v1.2.3