From de4ab29da516165b6339c51d19e2f813394dd033 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 2 Nov 2019 04:05:57 +0100
Subject: [PATCH] Implement Display formatter in terms of Debug

---
 src/format.rs | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/src/format.rs b/src/format.rs
index 69addcc..5189259 100644
--- a/src/format.rs
+++ b/src/format.rs
@@ -72,13 +72,7 @@ impl std::fmt::Display for crate::VariableDeclaration
 {
 	fn fmt(&self, format: &mut std::fmt::Formatter) -> std::fmt::Result
 	{
-		match &self.domain
-		{
-			crate::Domain::Program => write!(format, "X")?,
-			crate::Domain::Integer => write!(format, "N")?,
-		};
-
-		write!(format, "{}", &self.name)
+		write!(format, "{:?}", &self)
 	}
 }