HomeIsabelle/Phabricator

afp_check_roots: proper error message printing;