From 6015b225a2b1b39b033dbe86da0c679a32a2933c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sun, 22 Apr 2018 22:12:43 +0200
Subject: [PATCH] Remove unintended period at end of lines
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The integer specifier lines in the output weren’t intended to be
followed by a period. This removes the period to make the format
consistent with the other formulas in the output.
---
 src/anthem/Translation.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/anthem/Translation.cpp b/src/anthem/Translation.cpp
index aaafb4f..ed24cb9 100644
--- a/src/anthem/Translation.cpp
+++ b/src/anthem/Translation.cpp
@@ -155,7 +155,7 @@ void translate(const char *fileName, std::istream &stream, Context &context)
 				<< "(" << predicateDeclaration->name
 				<< "/" << output::Number(predicateDeclaration->arity())
 				<< "@" << output::Number(i + 1)
-				<< ")." << std::endl;
+				<< ")" << std::endl;
 		}
 	}
 }