From ae3925c72b51bf0f465d5d653b5423e6b522cc03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 30 Mar 2020 05:39:20 +0200
Subject: [PATCH] Fix function formatting
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

By mistake, a function’s name was printed two consecutive times if the
function had more than one argument.
---
 src/format.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/format.rs b/src/format.rs
index ca88ce3..3a58f99 100644
--- a/src/format.rs
+++ b/src/format.rs
@@ -185,7 +185,7 @@ impl<'term> std::fmt::Debug for TermDisplay<'term>
 
 				if !function.arguments.is_empty()
 				{
-					write!(format, "{}(", function.declaration.name)?;
+					write!(format, "(")?;
 
 					let mut separator = "";