Ported to ocaml-3.04

[helm.git] / helm / proofChecker / proofChecker.ml

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index d7cf692849933d6a51fb0ac07b1b73ee882f0129..3ef0db2e8e2e6e9215a753540ff4cfeabf255959 100644 (file)
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -58,4 +58,7 @@ List of options:"
 ;;
 
 CicCooking.init() ;
+Logger.log_callback :=
+ (Logger.log_to_html
+   ~print_and_flush:(function s -> print_string s ; flush stdout)) ;
 main ();;