Changed format of empty pool expression.

2016-11-24 02:45:16 +01:00
parent b3da15c537
commit 6f5f7eace7
1 changed files with 1 additions and 1 deletions
--- 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);