* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf
let arg_spec =
List.iter
(fun fname ->
if not (Sys.file_exists fname) then
- MatitaLog.error (sprintf "Can't find moo '%s', skipping it." fname)
+ HLog.error (sprintf "Can't find moo '%s', skipping it." fname)
else begin
printf "%s:\n" fname; flush stdout;
- let commands = MatitaMoo.load_moo ~fname in
+ let commands = GrafiteMarshal.load_moo ~fname in
List.iter
(fun cmd ->
- printf " %s\n" (GrafiteAstPp.pp_command cmd); flush stdout)
- commands
+ printf " %s\n%!"
+ (GrafiteAstPp.pp_command ~obj_pp:(fun _ -> assert false) cmd))
+ commands;
end)
(List.rev !moos)