]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/pattern.ml
Debugging prints removed.
[helm.git] / helm / ocaml / mathql_interpreter / pattern.ml
index a4cafa020e0e67d4e9a4c01ce023a213d0333518..86ef522b92e791fddeebd4ac24f5649035024679 100644 (file)
@@ -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