| _ :: rem -> parse rem
let _ =
+ Helm_registry.load_from "/home/fguidi/miohelm/gTopLevel.conf.xml";
let t = U.start_time () in
+(*
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));
exit 0