X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Futility.mli;h=2ee3db0073da569df466961c0901e6d66482cd63;hb=39b9497090ee5cc501de1e3d9044d71fdc5cf1fb;hp=9e9e8290da129b369b99ea8163f9ae18df9dab04;hpb=44d9d4ba98b90e6f90d87cae787573e648592ba6;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/utility.mli b/helm/ocaml/mathql_interpreter/utility.mli
index 9e9e8290d..2ee3db007 100644
--- a/helm/ocaml/mathql_interpreter/utility.mli
+++ b/helm/ocaml/mathql_interpreter/utility.mli
@@ -26,5 +26,5 @@
 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