]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/tutors/search_pattern_apply_tutor.ml
- mathql interpreter flags reorganized
[helm.git] / helm / hbugs / tutors / search_pattern_apply_tutor.ml
index 0943dd1462244e3b19f87826bca944690b5f3bf8..26183e2b97711e4a05c68facdc585e13256b5b88 100644 (file)
@@ -134,7 +134,7 @@ let main () =
     broker_id :=
       Some (Hbugs_tutors_common.register_to_broker
         my_own_id my_own_url "FOO" "Search_pattern_apply tutor");
-    let mqi_handle = MQIC.init prerr_string in 
+    let mqi_handle = MQIC.init ~log:prerr_string () in 
     if Sys.file_exists environment_file then
       restore_environment ();
     Http_daemon.start'