- if ! query_num = 1 then output_string och (time () ^ nl);
- let str =
- "Query: " ^ string_of_int ! query_num ^ nl ^ Util.text_of_query q ^ nl ^
- "Result:" ^ nl ^ Util.text_of_result r nl in
- output_string och str;
+ let out = output_string och in
+ if ! query_num = 1 then out (time () ^ nl);
+ out ("Query: " ^ string_of_int ! query_num ^ nl); Util.text_of_query out q nl;
+ out ("Result:" ^ nl); Util.text_of_result out r nl;