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, metadata = MatitaMoo.load_moo ~fname in
+ let commands, metadata = GrafiteMarshal.load_moo ~fname in
List.iter
(fun cmd ->
printf " %s\n" (GrafiteAstPp.pp_command cmd); flush stdout)