X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fuse.ml;fp=helm%2Focaml%2Fmathql_interpreter%2Fuse.ml;h=899a2bf8923ff9d264f4625a7364e6b51da2bb54;hb=9b23e4b3a2862c73d0b61c96cd68562dac3bf7f6;hp=cb65699e970c3955067b633c0ca4689028ea7213;hpb=5a3c6e3eb8f8ed08152c43671ff21a04cbc57dac;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/use.ml b/helm/ocaml/mathql_interpreter/use.ml
index cb65699e9..899a2bf89 100644
--- a/helm/ocaml/mathql_interpreter/use.ml
+++ b/helm/ocaml/mathql_interpreter/use.ml
@@ -56,7 +56,7 @@ let use_ex alist asvar usek =
       "from t" ^ r3 ^ ", t" ^ r2 ^ ", t" ^ r1 ^ " " ^
       "where " ^ "t" ^ r1 ^ ".att0 = '" ^ (List.hd xres) ^ "' and t" ^ r1 ^
       ".att1 = t" ^ r2 ^ ".att0 and t" ^ r1 ^ ".att1 = t" ^ r3 ^
-      ".att0"
+      ".att0 order by t" ^ r3 ^ ".att1 asc"
      in
      (*let _ = print_endline ("use: " ^ qq) in*)
      let res = c#exec qq in