From b494e938d018f0a3108e5bcf5375835f35a9e96a Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Wed, 2 Sep 2020 22:03:12 -0700
Subject: [PATCH] xor

---
 src/storm/storage/expressions/ToDiceStringVisitor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/expressions/ToDiceStringVisitor.cpp b/src/storm/storage/expressions/ToDiceStringVisitor.cpp
index 1904b56c5..a1a20ed24 100644
--- 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;