HomeIsabelle/Phabricator

removed rarely used error in Sledgehammer