]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/use.ml
intersect improved in speed
[helm.git] / helm / ocaml / mathql_interpreter / use.ml
index cb65699e970c3955067b633c0ca4689028ea7213..899a2bf8923ff9d264f4625a7364e6b51da2bb54 100644 (file)
@@ -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