final ispell

[helm.git] / helm / ocaml / mathql_interpreter / utility.mli

diff --git a/helm/ocaml/mathql_interpreter/utility.mli b/helm/ocaml/mathql_interpreter/utility.mli
index 7638932476db22637134e54510fa243decd54579..2ee3db0073da569df466961c0901e6d66482cd63 100644 (file)
--- a/helm/ocaml/mathql_interpreter/utility.mli
+++ b/helm/ocaml/mathql_interpreter/utility.mli
@@ -20,11 +20,11 @@
  * MA  02111-1307, USA.
  * 
  * For details, see the HELM World-Wide-Web page,
- * http://cs.unibo.it/helm/.
+ * http://www.cs.unibo.it/helm/.
  *)
 
 val pgresult_to_string_list : < get_list : string list list; .. > -> string list
 val pgresult_to_string : < get_list : string list list; .. > -> string
 val set_assoc : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list
-val helm_property_id: string -> string
-val helm_class_id: string -> string
+val helm_property_id: MQIConn.handle -> string -> string
+val helm_class_id: MQIConn.handle -> string -> string