- let moo_fname = MatitacleanLib.obj_file_of_script fname in
- MatitaMoo.save_moo moo_fname status.MatitaTypes.moo_content_rev in
+ let moo_fname = MatitaMisc.obj_file_of_script ~basedir fname in
+ GrafiteMarshal.save_moo moo_fname
+ status.MatitaTypes.moo_content_rev in