X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fselect.ml;fp=helm%2Focaml%2Fmathql_interpreter%2Fselect.ml;h=f408b8bfe582ec6521fe9894f2009aef0df4155b;hb=2ef44e8d1a908a08d31e6114c15898ae7dc8109e;hp=191ffde342d68c9853a6380166188c95fb7962ea;hpb=3b401fbefb3830d4f3cdce189ac31559c0219a0d;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/select.ml b/helm/ocaml/mathql_interpreter/select.ml
index 191ffde34..f408b8bfe 100644
--- a/helm/ocaml/mathql_interpreter/select.ml
+++ b/helm/ocaml/mathql_interpreter/select.ml
@@ -193,12 +193,18 @@ let rec replace avar newval l =
  * implementazione del comando SELECT
  *)
 let select_ex avar alist abool =
- let wrt = replace avar "retVal" abool in
- (*let j = print_booltree wrt in*)
-  [List.hd alist]
-  @
-  List.find_all
-   (fun l -> is_good (List.combine (List.hd alist) l) wrt)
-   (List.tl alist)
+ let _ = print_string ("SELECT ")
+ and t = Unix.time () in
+  let result = 
+   let wrt = replace avar "retVal" abool in
+   (*let j = print_booltree wrt in*)
+    [List.hd alist]
+    @
+    List.find_all
+     (fun l -> is_good (List.combine (List.hd alist) l) wrt)
+     (List.tl alist)
+  in
+   let _ = print_endline (string_of_float (Unix.time () -. t)); flush stdout in
+    result
 ;;