X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fselect.ml;h=a10205490c43f15d218b5cfee3e3912b8cbcea76;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=ee9f329ba36ec61971784eb3f2ab6d9b1f876b22;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/select.ml b/helm/ocaml/mathql_interpreter/select.ml
index ee9f329ba..a10205490 100644
--- a/helm/ocaml/mathql_interpreter/select.ml
+++ b/helm/ocaml/mathql_interpreter/select.ml
@@ -92,7 +92,7 @@ let rec is_good env =
       in
        let ul1 = set_of_result (None,!execute env q1) in
        let ul2 = set_of_result (None,!execute env q2) in
-       print_endline ("MQSETEQUAL(" ^ 
+       prerr_endline ("MQSETEQUAL(" ^ 
            string_of_int (List.length (!execute env q1)) ^ ">" ^
 	   string_of_int (List.length ul1) ^ "," ^
 	   string_of_int (List.length (!execute env q2)) ^ ">" ^
@@ -115,7 +115,7 @@ let rec is_good env =
       in
        let ul1 = set_of_result (None,!execute env q1) in
        let ul2 = set_of_result (None,!execute env q2) in
-        print_endline ("MQSUBSET(" ^ 
+        prerr_endline ("MQSUBSET(" ^ 
 	string_of_int (List.length (!execute env q1)) ^ ">" ^
 	string_of_int (List.length ul1) ^ "," ^
 	string_of_int (List.length (!execute env q2)) ^ ">" ^
@@ -138,13 +138,13 @@ let rec is_good env =
  * implementazione del comando SELECT
  *)
 let select_ex env avar alist abool =
- let _ = print_string ("SELECT = ")
+ let _ = prerr_string ("SELECT = ")
  and t = Sys.time () in
   let result = 
    List.filter (function entry -> is_good ((avar,entry)::env) abool) alist
   in
-   print_string (string_of_int (List.length result) ^ ": ") ;
-   print_endline (string_of_float (Sys.time () -. t) ^ "s") ;
+   prerr_string (string_of_int (List.length result) ^ ": ") ;
+   prerr_endline (string_of_float (Sys.time () -. t) ^ "s") ;
    flush stdout ;
    result
 ;; *)