From b3da15c537d668c137b217c27b4851fe250d11e5 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:44:58 +0100
Subject: [PATCH] Changed formatting of and/or/xor operators.

---
 src/anthem/output/ClingoOutput.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/anthem/output/ClingoOutput.cpp b/src/anthem/output/ClingoOutput.cpp
index 5efe8eb..5cf75aa 100644
--- a/src/anthem/output/ClingoOutput.cpp
+++ b/src/anthem/output/ClingoOutput.cpp
@@ -108,11 +108,11 @@ ColorStream &operator<<(ColorStream &stream, const Clingo::AST::BinaryOperator &
 	switch (binaryOperator)
 	{
 		case Clingo::AST::BinaryOperator::XOr:
-			return (stream << Operator("xor"));
+			return (stream << Keyword("xor"));
 		case Clingo::AST::BinaryOperator::Or:
-			return (stream << Operator("or"));
+			return (stream << Keyword("or"));
 		case Clingo::AST::BinaryOperator::And:
-			return (stream << Operator("and"));
+			return (stream << Keyword("and"));
 		case Clingo::AST::BinaryOperator::Plus:
 			return (stream << Operator("+"));
 		case Clingo::AST::BinaryOperator::Minus: