HomeIsabelle/Phabricator

avoid double 'Warning:' in Sledgehammer messages