let in updated with the grammar

[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index f0ec5cbfdb2d9ca0e3cb24d1e13b2a42e9a9c310..ad27d1959cc4da46bf634a76c0de5e5cf7d257c2 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -85,8 +85,9 @@ let rec execute_ex env =
  |  MQIntersect (l1, l2) ->
      intersect_ex (execute_ex env l1) (execute_ex env l2)
  |  MQLRVar rvar -> [List.assoc rvar env]
- |  MQLetIn (rvar, alist) ->
-     letin_ex rvar (execute_ex env alist)
+ |  MQLetIn (lvar, l1, l2) ->
+     let _ = letin_ex lvar (execute_ex env l1) in
+      execute_ex env l2
  |  MQLetRef rvar ->
      letref_ex rvar
 ;;