let in scope corrected and new database format support

[helm.git] / helm / ocaml / mathql_interpreter / letin.mli

diff --git a/helm/ocaml/mathql_interpreter/letin.mli b/helm/ocaml/mathql_interpreter/letin.mli
index b2b6ffda6c29301dcb89e6e25e04806fe21f9183..d221ddd2e00286d720072607c9b26e781e353350 100644 (file)
--- a/helm/ocaml/mathql_interpreter/letin.mli
+++ b/helm/ocaml/mathql_interpreter/letin.mli
@@ -25,3 +25,4 @@
 
 val letin_ex : MathQL.mqlvar -> Mathql_semantics.result -> Mathql_semantics.result
 val letref_ex : MathQL.mqlvar -> Mathql_semantics.result
+val letdispose : unit -> unit