X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaMisc.ml;h=e773fc977c6efb27a6328ab6c5d368377b72ff63;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=53d1d1f67ec2440c2c3ce45df0958ab52b9edfd3;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/matita/matitaMisc.ml b/matita/matita/matitaMisc.ml
index 53d1d1f67..e773fc977 100644
--- a/matita/matita/matitaMisc.ml
+++ b/matita/matita/matitaMisc.ml
@@ -38,8 +38,8 @@ let strip_suffix ~suffix s =
 let absolute_path file =
   if file.[0] = '/' then file else Unix.getcwd () ^ "/" ^ file
   
-let is_proof_script _fname = true  (** TODO Zack *)
-let is_proof_object _fname = true  (** TODO Zack *)
+let is_proof_script _fname = true  (* TODO Zack *)
+let is_proof_object _fname = true  (* TODO Zack *)
 
 let append_phrase_sep s =
   if not (Pcre.pmatch ~pat:(sprintf "%s$" BuildTimeConf.phrase_sep) s) then