X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=b5a2625c26f8d436f2356600e18317134d291c7e;hb=0749993af4ee4609f32e5e4f04d40accbbda0e7e;hp=d7cf692849933d6a51fb0ac07b1b73ee882f0129;hpb=daa3373748a896d0b5fc00c0d6b79f59e79a128d;p=helm.git

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index d7cf69284..b5a2625c2 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -57,5 +57,7 @@ List of options:"
    End_of_file -> ()
 ;;
 
-CicCooking.init() ;
+Logger.log_callback :=
+ (Logger.log_to_html
+   ~print_and_flush:(function s -> print_string s ; flush stdout)) ;
 main ();;