From 742379934fb6fa57a9e6ef6bf475ad2d73ae2b45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Thu, 21 May 2020 23:26:57 +0200
Subject: [PATCH] Remove unused trait implementations

---
 src/format/terms.rs | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/src/format/terms.rs b/src/format/terms.rs
index 17330a1..458964d 100644
--- a/src/format/terms.rs
+++ b/src/format/terms.rs
@@ -36,22 +36,6 @@ impl std::fmt::Display for crate::FunctionDeclaration
 	}
 }
 
-impl std::fmt::Debug for crate::VariableDeclaration
-{
-	fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result
-	{
-		write!(formatter, "{}", &self.name)
-	}
-}
-
-impl std::fmt::Display for crate::VariableDeclaration
-{
-	fn fmt(&self, formatter: &mut std::fmt::Formatter) -> std::fmt::Result
-	{
-		write!(formatter, "{:?}", &self)
-	}
-}
-
 #[derive(Clone, Copy, Eq, PartialEq)]
 pub(crate) enum TermPosition
 {