From 34d8d8129e97db95334b5dce4843f89f1a052f53 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 19 Dec 2001 08:44:37 +0000
Subject: reparation de make doc (ocamlweb & _)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2321 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/evar_refiner.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'proofs')

diff --git a/proofs/evar_refiner.mli b/proofs/evar_refiner.mli
index 4138a49c35..f0c677cb37 100644
--- a/proofs/evar_refiner.mli
+++ b/proofs/evar_refiner.mli
@@ -48,8 +48,8 @@ val extract_decl : evar -> named_context sigma -> named_context sigma
 
 val restore_decl : evar -> evar_info -> named_context sigma -> named_context sigma
 
-(* val w_Focusing_THEN : 
-  evar -> 'a result_w_tactic -> ('a -> w_tactic) -> w_tactic *)
+(*i val w_Focusing_THEN : 
+  evar -> 'a result_w_tactic -> ('a -> w_tactic) -> w_tactic i*)
 
 val w_Declare    : evar -> types -> w_tactic
 val w_Define     : evar -> constr -> w_tactic
-- 
cgit v1.2.3