From: natile <??>
Date: Fri, 22 Nov 2002 18:01:49 +0000 (+0000)
Subject: Debugging prints removed.
X-Git-Tag: V_0_0_6~63
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a96d91e43e25d3d5b36e7c3646831bcf8a401c9d;p=helm.git

Debugging prints removed.
---

diff --git a/helm/ocaml/mathql_interpreter/pattern.ml b/helm/ocaml/mathql_interpreter/pattern.ml
index a4cafa020..86ef522b9 100644
--- a/helm/ocaml/mathql_interpreter/pattern.ml
+++ b/helm/ocaml/mathql_interpreter/pattern.ml
@@ -39,7 +39,6 @@ let rec pattern_ex l =
    | s::tl -> let result = 
              let c = pgc () in
              let qq = "select uri from registry where uri ~ '" ^ s ^ "' order by registry.uri asc" in
-             print_endline qq ; flush stderr ;
              let res = c#exec (qq) in
              List.map (function uri -> (uri,[])) (pgresult_to_string_list res)
              in
diff --git a/helm/ocaml/mathql_interpreter/relation.ml b/helm/ocaml/mathql_interpreter/relation.ml
index e75fdd032..ea4fb9cc3 100644
--- a/helm/ocaml/mathql_interpreter/relation.ml
+++ b/helm/ocaml/mathql_interpreter/relation.ml
@@ -56,7 +56,6 @@ let relation_ex inv rop path rset attl =
   (List.fold_left (fun acc (uri,l) ->
     let tv = pgresult_to_string (c#exec ("select id from registry where uri='" ^ uri ^ "'")) in
     let qq = "select uri, position from t" ^ tv ^ " where prop_id='" ^ usek ^ "' order by uri asc" in
-    print_endline ("@@@@LA QUERY:" ^ qq); flush stdout;
     let res = c#exec qq in
     (List.map
     (function