From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 23 Sep 2003 15:55:28 +0000 (+0000)
Subject: Debugging stuff removed.
X-Git-Tag: V_0_4_3_4~17
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f480a8792f70b765c5e15cc16f1251ac6bc21d01;p=helm.git

Debugging stuff removed.
---

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 =