X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fletin.mli;h=d221ddd2e00286d720072607c9b26e781e353350;hb=8f89cdd08d9ee0a243cf84201bf42e5503759ee3;hp=b2b6ffda6c29301dcb89e6e25e04806fe21f9183;hpb=d77da66c4cfe47042485fe6b8cab5c44d1e03c35;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/letin.mli b/helm/ocaml/mathql_interpreter/letin.mli
index b2b6ffda6..d221ddd2e 100644
--- 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