X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;h=920243fbbbf5d78fe9a33d06966ea7924b1593c4;hb=1ff21c2c91021a1743425adc4535fc52346783ff;hp=60f00f50c3da307f028ad0826d8f7eaa5147668d;hpb=bb2953675ebb08267186029b18bc3fdca9c137df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 60f00f50c..920243fbb 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -27,19 +27,19 @@
  * interfaccia dell'interprete MathQL
  *)
 
-open MathQL;;
-
 (*
  * inizializzazione del database
- *)
+
 val init: unit -> unit
+ *)
 
 (*
  * esecuzione di query
  *)
-val execute: mquery -> mqresult;;
+val execute: MathQL.set_exp -> MathQL.resource_set
 
 (*
  * chiusura del database
- *)
+ 
 val close: unit -> unit
+ *)