let unjournalized_rm_unused_globals new_proj_name project =
P.feedback "remove unused global declarations from project '%s'"
(Project.get_name project);
P.result "removed unused global declarations in new project '%s'" new_proj_name;
Project.on project Globs.rm_unused_decl new_proj_name