mathQL.ml updated

[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 611fdf388fd3b2b6969cb4fede53ab4c4bf3da49..34cfc09869d418377c2e9ba36737e6f4886cec57 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -84,7 +84,7 @@ let rec execute_ex env =
      sortedby_ex (execute_ex env l) o f
  |  MQIntersect (l1, l2) ->
      intersect_ex (execute_ex env l1) (execute_ex env l2)
- |  MQLRVar rvar -> [List.assoc rvar env]
+ |  MQListRVar rvar -> [List.assoc rvar env]
  |  MQLetIn (lvar, l1, l2) ->
      let t = Unix.time () in
       let res =
@@ -97,8 +97,8 @@ let rec execute_ex env =
        print_endline (string_of_float (Unix.time () -. t) ^ "s") ;
        flush stdout ;
        res
- |  MQLetRef rvar ->
-     letref_ex rvar
+ |  MQListLVar lvar ->
+     letref_ex lvar
 ;;
 
 (* Let's initialize the execute in Select, creating a cyclical recursion *)