X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Futility.ml;h=c749f951b6b5c3f3b25e2226f1ab5e8cd60ab8f6;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=5ea9b7e672f2be2a3c783f4fcf90fd01222d1df2;hpb=f870fdd883e3380f77f260709d4cb76e9d5def2b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/utility.ml b/helm/ocaml/mathql_interpreter/utility.ml
index 5ea9b7e67..c749f951b 100644
--- a/helm/ocaml/mathql_interpreter/utility.ml
+++ b/helm/ocaml/mathql_interpreter/utility.ml
@@ -101,7 +101,7 @@ let helm_property_id p =
    let ns = pgresult_to_string (c#exec q1) in
     let q2 = ("select att0 from property where att2='" ^ p ^ "' and att1=" ^ ns) in
      let retval = pgresult_to_string (c#exec q2) in
-     (*let _ = print_endline ("utility:q2: "  ^ q2 ^ " : " ^ retval) in*)
+     (*let _ = prerr_endline ("utility:q2: "  ^ q2 ^ " : " ^ retval) in*)
       retval
 ;;