patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Changed formatting of and/or/xor operators.

Browse Source
This commit is contained in:
Patrick Lühne 2016-11-24 02:44:58 +01:00
parent 018559b8cf
commit b3da15c537
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/anthem/output/ClingoOutput.cpp
View File

@ -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: