X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=cf453c6f61b7d82b0424160ba119d226cbd8d52f;hb=b539c22c2f70f165beb439c98a41cb63971c51a4;hp=3a0a5fb310b277a4729a36d5da17e30b144c9209;hpb=b6992cac4c9ffa80337e5e11e5017b0b9b17c65e;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 3a0a5fb31..cf453c6f6 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -38,6 +38,7 @@ open Sortedby;;
 open Use;;
 open Select;;
 open Letin;;
+open Mathql_semantics;;
 
 let prop_pool = ref None;;
 
@@ -130,6 +131,12 @@ let rec execute_ex env =
        res
  |  MQListLVar lvar ->
      letref_ex lvar
+ |  MQReference l ->
+     let rec build_result = function
+       | [] -> []
+       | s :: tail -> 
+	 {uri = s ; attributes = [] ; extra = ""} :: build_result tail
+     in build_result (List.sort compare l)
 ;;
 
 (* Let's initialize the execute in Select, creating a cyclical recursion *)