X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2FtopLevel.ml;fp=helm%2FgTopLevel%2FtopLevel%2FtopLevel.ml;h=6db896d9bd809e9c8d3b66133e7630c3ea5ee13f;hb=36a85ffd9542d5a726d154cd8bf37d417da2cf88;hp=d53ea70eaf5096cb4a015266a0d58fa958bca7c9;hpb=8a279dd3b4c7562099933bcb45e386ccc1ca156e;p=helm.git

diff --git a/helm/gTopLevel/topLevel/topLevel.ml b/helm/gTopLevel/topLevel/topLevel.ml
index d53ea70ea..6db896d9b 100644
--- a/helm/gTopLevel/topLevel/topLevel.ml
+++ b/helm/gTopLevel/topLevel/topLevel.ml
@@ -196,7 +196,7 @@ let _ =
    CicCooking.init () ; 
    Logger.log_callback :=
       (Logger.log_to_html
-      ~print_and_flush:(function s -> print_string s ; flush stdout)) ;
+      ~print_and_flush:(function s -> () (* print_string s ; flush stdout *) ));
    Mqint.set_stat false;
    Gen.set_log_file "MQGenLog.htm";
    set_dbms 1;