Remove duplicate match arm

2020-05-11 02:45:44 +02:00 · 2020-05-11 02:45:44 +02:00 · 91765a7a15
parent c075f99093
commit 91765a7a15
1 changed files with 0 additions and 2 deletions
--- a/src/error.rs
+++ b/src/error.rs
@ -178,8 +178,6 @@ impl std::fmt::Debug for Error
 				"unknown statement “{}” (allowed: axiom, assert, assume, input, lemma)",
 				statement_name),
 			Kind::UnmatchedParenthesis => write!(formatter, "unmatched parenthesis"),
-			Kind::ParsePredicateDeclaration => write!(formatter,
-				"could not parse predicate declaration"),
 			Kind::ParseFormula => write!(formatter, "could not parse formula"),
 			Kind::ExpectedIdentifier => write!(formatter, "expected constant or predicate name"),
 			Kind::ParsePredicateDeclaration => write!(formatter,