X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fletin.mli;h=d221ddd2e00286d720072607c9b26e781e353350;hb=b6992cac4c9ffa80337e5e11e5017b0b9b17c65e;hp=b2b6ffda6c29301dcb89e6e25e04806fe21f9183;hpb=c7904d7085619611a4e22543f24dd8dbcbb1fe6b;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