From 6f5f7eace7f92bca7879b54d4bee899761640cc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 24 Nov 2016 02:45:16 +0100
Subject: [PATCH] Changed format of empty pool expression.

---
 src/anthem/output/ClingoOutput.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/anthem/output/ClingoOutput.cpp b/src/anthem/output/ClingoOutput.cpp
index 5cf75aa..144aca2 100644
--- a/src/anthem/output/ClingoOutput.cpp
+++ b/src/anthem/output/ClingoOutput.cpp
@@ -177,7 +177,7 @@ ColorStream &operator<<(ColorStream &stream, const Clingo::AST::Pool &pool)
 {
 	// Note: There is no representation for an empty pool
 	if (pool.arguments.empty())
-		return (stream << "(1/0)");
+		return (stream << "(" << Number<int>(1) << "/" << Number<int>(0) << ")");
 
 	printCollection(stream, pool.arguments, "(", ";", ")", true);