From 5e2641008339ea1d590f85ceb02205f7601afdcf Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 13 Sep 2002 12:26:45 +0000 Subject: [PATCH] mqint intercace fixed --- helm/ocaml/mathql_interpreter/mqint.ml | 7 +++++++ 1 file changed, 7 insertions(+) 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 -- 2.39.2