mqint intercace fixed

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 2c636eadff5e8cb48077a91702db0028266ab8a9..053e20c74bb009fa5ecbef498a7a3f12cb4bfcfb 100644 (file)
--- 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