From 7a6fab59ef89522aff69a330bf53054a8c9122e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 03:23:25 +0200
Subject: [PATCH] Minor refactoring

---
 src/output/tptp.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/output/tptp.rs b/src/output/tptp.rs
index 0429900..63112f0 100644
--- a/src/output/tptp.rs
+++ b/src/output/tptp.rs
@@ -470,10 +470,10 @@ where
 				0 => write!(formatter, "$true")?,
 				_ =>
 				{
-					let mut separator = "";
 					let parentheses_required = arguments.len() > 2;
 
 					let mut argument_iterator = arguments.iter().peekable();
+					let mut separator = "";
 
 					while let Some(argument) = argument_iterator.next()
 					{