-let add_moo_content cmds status =
- let content = status#moo_content_rev in
- let content' = cmds@content in
-(* prerr_endline ("new moo content: " ^ String.concat " " (List.map
- GrafiteAstPp.pp_command content')); *)
- status#set_moo_content_rev content'