xor

4 years ago · b494e938d0
1 changed files with 1 additions and 1 deletions
--- a/src/storm/storage/expressions/ToDiceStringVisitor.cpp
+++ b/src/storm/storage/expressions/ToDiceStringVisitor.cpp
@ -48,7 +48,7 @@ namespace storm {
                case BinaryBooleanFunctionExpression::OperatorType::Xor:
                    stream << "(";
                    expression.getFirstOperand()->accept(*this, data);
-                    stream << " xor ";
+                    stream << " ^ ";
                    expression.getSecondOperand()->accept(*this, data);
                    stream << ")";
                    break;