From 1ff21c2c91021a1743425adc4535fc52346783ff Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 10 Sep 2002 14:14:03 +0000
Subject: [PATCH] new mathql interpreter

---
 helm/ocaml/mathql_interpreter/mqint.mli | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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
+ *)
-- 
2.39.2