From 57a64f3af948cf740b1ad74b4007aedb8e713a60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 21 May 2016 02:31:47 +0200
Subject: [PATCH] Fixed output of 0-ary predicates.

---
 src/plasp/sas/Predicate.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plasp/sas/Predicate.cpp b/src/plasp/sas/Predicate.cpp
index e142f69..d9042b8 100644
--- a/src/plasp/sas/Predicate.cpp
+++ b/src/plasp/sas/Predicate.cpp
@@ -15,6 +15,9 @@ namespace sas
 
 std::ostream &operator <<(std::ostream &ostream, const Predicate &predicate)
 {
+	if (predicate.arguments.empty())
+		return (ostream << predicate.name);
+
 	ostream << predicate.name << "(";
 
 	for (size_t i = 0; i < predicate.arguments.size(); i++)