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