debian version "-8"

[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 805633583ce851fc828f69fded1b9544e56c2f28..d221ddd2e00286d720072607c9b26e781e353350 100644 (file)
--- a/helm/ocaml/mathql_interpreter/letin.mli
+++ b/helm/ocaml/mathql_interpreter/letin.mli
@@ -23,5 +23,6 @@
  * http://www.cs.unibo.it/helm/.
  *)
 
-val letin_ex : MathQL.mqrvar -> Mathql_semantics.result -> Mathql_semantics.result
-val letref_ex : MathQL.mqrvar -> Mathql_semantics.result
+val letin_ex : MathQL.mqlvar -> Mathql_semantics.result -> Mathql_semantics.result
+val letref_ex : MathQL.mqlvar -> Mathql_semantics.result
+val letdispose : unit -> unit