X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=240881771ff342c7d3fdd47699aca9405c7ecc34;hb=8caa5383c2ef78e8516881b1e7161f71f8ddca40;hp=62c12d441e812022fc42a0ddcdf56f3f0713d1bb;hpb=f82a5324071bc1b8fc5c9ea95ba03e40801c74ed;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 62c12d441..240881771 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -72,7 +72,7 @@ let rec execute_ex q =
  * la uri puo' far parte del risultato.
  *)
 let xres_to_res l =
- MQStrUri
+ MQRefs
   (
    List.map
     List.hd