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

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