From 91765a7a15bd28e486631ddead8c69c4e42d6db8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 02:45:44 +0200
Subject: [PATCH] Remove duplicate match arm

---
 src/error.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/error.rs b/src/error.rs
index 8388b51..352f314 100644
--- 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,