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