patched

[helm.git] / helm / mathql_test / mqgtop.ml

diff --git a/helm/mathql_test/mqgtop.ml b/helm/mathql_test/mqgtop.ml
index b65c805579b0be6541db255084c2604eb67aa0d0..0b809b0282b25a2609da1c2ab234c48b5dfadd8e 100644 (file)
--- a/helm/mathql_test/mqgtop.ml
+++ b/helm/mathql_test/mqgtop.ml
@@ -325,9 +325,11 @@ let rec parse = function
 
 let _ =
    let t = U.start_time () in
+(*
    CicLogger.log_callback :=
       (CicLogger.log_to_html 
        ~print_and_flush:(fun s -> print_string s; flush stdout)) ; 
+*)
    parse (List.tl (Array.to_list Sys.argv)); 
    prerr_endline ("mqgtop: done in " ^ (U.stop_time t));
    exit 0