]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/utility.ml
debian release 0.0.4-1
[helm.git] / helm / ocaml / mathql_interpreter / utility.ml
index e3776cfbd1ff5e4ff5090016b41e0a4dcf449096..c749f951b6b5c3f3b25e2226f1ab5e8cd60ab8f6 100644 (file)
@@ -20,7 +20,7 @@
  * MA  02111-1307, USA.
  * 
  * For details, see the HELM World-Wide-Web page,
- * http://cs.unibo.it/helm/.
+ * http://www.cs.unibo.it/helm/.
  *)
 
 (*
@@ -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
 ;;