From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 13 Sep 2002 12:26:45 +0000 (+0000)
Subject: mqint intercace fixed
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=refs%2Fheads%2Funlabeled-1.17.2;p=helm.git

mqint intercace fixed
---

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 2c636eadf..053e20c74 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -252,6 +252,13 @@ let close () = Dbconn.close ();;
 
 *****************************************************************************)
 
+let init () = () (* FG: implementare l'apertura del database *)
+
+let close () = () (* FG: implementare la chiusura del database *)
+
+
+(* contexts *****************************************************************)
+
 type svar_context = (MathQL.svar * MathQL.resource_set) list
 
 type rvar_context = (MathQL.rvar * MathQL.resource) list