let in updated with the grammar

[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..b2b6ffda6c29301dcb89e6e25e04806fe21f9183 100644 (file)
--- a/helm/ocaml/mathql_interpreter/letin.mli
+++ b/helm/ocaml/mathql_interpreter/letin.mli
@@ -23,5 +23,5 @@
  * 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