From edcc98f6e60c3ffc481082b5c28349219c3883df Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 13 Sep 2002 12:26:45 +0000
Subject: [PATCH] mqint intercace fixed

---
 helm/ocaml/mathql_interpreter/mqint.mli | 21 +++------------------
 1 file changed, 3 insertions(+), 18 deletions(-)

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 920243fbb..45e8b60ef 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,23 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*
- * interfaccia dell'interprete MathQL
- *)
-
-(*
- * inizializzazione del database
-
-val init: unit -> unit
- *)
+val init    : unit -> unit                  (* open database *)
 
-(*
- * esecuzione di query
- *)
-val execute: MathQL.set_exp -> MathQL.resource_set
+val execute : MathQL.query -> MathQL.result (* execute query *)
 
-(*
- * chiusura del database
- 
-val close: unit -> unit
- *)
+val close   : unit -> unit                  (* close database *)
-- 
2.39.2