From beb4dbb6939df6aa7239a85b658783aa50c33d0a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 5 Nov 2019 15:54:28 -0600
Subject: [PATCH] Fix TPTP output of predicates with arguments

---
 src/format_tptp.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/format_tptp.rs b/src/format_tptp.rs
index a53bd59..62dd832 100644
--- a/src/format_tptp.rs
+++ b/src/format_tptp.rs
@@ -524,12 +524,14 @@ impl<'a> std::fmt::Debug for FormulaDisplay<'a>
 					{
 						let argument_is_arithmetic_term = is_arithmetic_term(argument);
 
+						write!(format, "{}", separator)?;
+
 						if argument_is_arithmetic_term
 						{
 							write!(format, "f__integer__(")?;
 						}
 
-						write!(format, "{}{:?}", separator, argument.display_tptp())?;
+						write!(format, "{:?}", argument.display_tptp())?;
 
 						if argument_is_arithmetic_term
 						{