let _ =
let t = U.start_time () in
- Logger.log_callback :=
- (Logger.log_to_html
+ 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));