]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mqint.ml
MQueryUtil updated
[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml
index ee56718c5888e3b4eee1182c6e6a80b8d8f7072c..bb89c1d19cd0f69e96b20ed3b1328118b27bc96a 100644 (file)
@@ -83,7 +83,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)
- |  MQRVarOccur rvar -> [List.assoc rvar env]
+ |  MQLRVar rvar -> [List.assoc rvar env]
 ;;
 
 (* Let's initialize the execute in Select, creating a cyclical recursion *)