From f480a8792f70b765c5e15cc16f1251ac6bc21d01 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 23 Sep 2003 15:55:28 +0000 Subject: [PATCH] Debugging stuff removed. --- helm/ocaml/mathql/mQueryMisc.ml | 5 ----- 1 file changed, 5 deletions(-) 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 = -- 2.39.2