From 46151fff8957e97d0100622e304ba40afe37792f Mon Sep 17 00:00:00 2001
From: clrenard
Date: Fri, 18 May 2001 15:22:47 +0000
Subject: Erreur dans un commentaire ...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1757 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/refiner.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proofs/refiner.mli b/proofs/refiner.mli
index 59c5e4e4ee..dd85f004ae 100644
--- a/proofs/refiner.mli
+++ b/proofs/refiner.mli
@@ -67,7 +67,7 @@ val tclTHENL         : tactic -> tactic -> tactic
 val tclTHENS         : tactic -> tactic list -> tactic
 
 (* Same as [tclTHENS] but completes with [tac3] if the number resulting 
-   subgoals is strictly less than [n] *)
+   subgoals is strictly more than [n] *)
 val tclTHENST        : tactic -> tactic list -> tactic -> tactic
 
 (* Same as [tclTHENS] but  completes with [tac3 i] *)
-- 
cgit v1.2.3