X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryMisc.ml;h=fb32d8c2425fb49fbd59f254e855a7c790d2ccf7;hb=f480a8792f70b765c5e15cc16f1251ac6bc21d01;hp=0d8dcd5d95ff9463f588e5e7c54da75145141b3d;hpb=68e62a195d6228befb75b4e2edd59bc58b1cdb0c;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryMisc.ml b/helm/ocaml/mathql/mQueryMisc.ml
index 0d8dcd5d9..fb32d8c24 100644
--- a/helm/ocaml/mathql/mQueryMisc.ml
+++ b/helm/ocaml/mathql/mQueryMisc.ml
@@ -54,7 +54,6 @@ let string_of_cic_textual_parser_uri uri =
 ;;
 
 let cic_textual_parser_uri_of_string uri' =
- prerr_endline ("cic_textual_parser_uri_of_string INPUT = " ^ uri');
  try
   (* Constant *)
   if String.sub uri' (String.length uri' - 4) 4 = ".con" then
@@ -83,10 +82,6 @@ let cic_textual_parser_uri_of_string uri' =
   | Invalid_argument _ ->
      raise (IllFormedUri uri')
 ;;
-let cic_textual_parser_uri_of_string uri' =
-  let res = cic_textual_parser_uri_of_string uri' in
-  prerr_endline ("RESULT: " ^ (string_of_cic_textual_parser_uri res));
-  res
 
 (* CSC: quick fix: a function from [uri#xpointer(path)] to [uri#path] *)
 let wrong_xpointer_format_from_wrong_xpointer_format' uri =