let out = output_string och in
if ! query_num = 1 then out (time () ^ nl);
out ("Query: " ^ string_of_int ! query_num ^ nl);
- U.text_of_query out q nl;
+ U.text_of_query out nl q;
out ("Result: " ^ nl);
- U.text_of_result out r nl;
+ U.text_of_result out nl r;
close_out och
in
- if ! show_queries then U.text_of_query (output_string stdout) q nl;
+ if ! show_queries then U.text_of_query (output_string stdout) nl q;
let r = I.execute handle q in
- U.text_of_result (output_string stdout) r nl;
+ U.text_of_result (output_string stdout) nl r;
if ! log_file <> "" then log q r;
incr query_num;
flush stdout
let inductive l =
let queries = ref [] in
- let univ = Some C3.universe in
+ let univ = None in
let handle = get_handle () in
let rec aux = function
| [] -> ()
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));