From 770bc83b03d1be4e87a56d0ed06adeb8ad4ba067 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 7 May 2010 16:23:46 +0000
Subject: Deux commentaires retirés de ocamldoc.

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

diff --git a/pretyping/evd.mli b/pretyping/evd.mli
index 43f214d0dc..40323cdb81 100644
--- a/pretyping/evd.mli
+++ b/pretyping/evd.mli
@@ -178,7 +178,7 @@ val subst_evar_defs_light : substitution -> evar_map -> evar_map
 val evars_reset_evd  : evar_map ->  evar_map -> evar_map
 
 
-(** spiwack: [is_undefined_evar] should be considered a candidate
+(* spiwack: [is_undefined_evar] should be considered a candidate
                    for moving to evarutils *)
 val is_undefined_evar :  evar_map -> constr -> bool
 val undefined_evars : evar_map -> evar_map
@@ -196,7 +196,7 @@ val evar_declare :
       ?filter:bool list -> evar_map -> evar_map
 val evar_source : existential_key -> evar_map -> loc * hole_kind
 
-(** spiwack: this function seems to somewhat break the abstraction. 
+(* spiwack: this function seems to somewhat break the abstraction. 
    [evar_merge evd ev1] extends the evars of [evd] with [evd1] *)
 val evar_merge : evar_map -> evar_map -> evar_map
 
-- 
cgit v1.2.3