X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=34cfc09869d418377c2e9ba36737e6f4886cec57;hb=8adca9e9d6f3b7c605e570dadb4bb82a16b3d050;hp=611fdf388fd3b2b6969cb4fede53ab4c4bf3da49;hpb=5568099300dd41b552d5be114b2f2c0b97f3c36c;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 611fdf388..34cfc0986 100644
--- 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 *)