From 2cd25d069c6a05851df649befd7bf62b74f5ecc9 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Fri, 11 Jun 2021 13:54:30 -0700
Subject: [PATCH] To dice translation, remove hack for modulo

---
 .../storage/expressions/ToDiceStringVisitor.cpp | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

diff --git a/src/storm/storage/expressions/ToDiceStringVisitor.cpp b/src/storm/storage/expressions/ToDiceStringVisitor.cpp
index c07bab032..0fd9e75d5 100644
--- a/src/storm/storage/expressions/ToDiceStringVisitor.cpp
+++ b/src/storm/storage/expressions/ToDiceStringVisitor.cpp
@@ -154,18 +154,11 @@ namespace storm {
         boost::any ToDiceStringVisitor::visit(BinaryRelationExpression const& expression, boost::any const& data) {
             switch (expression.getRelationType()) {
                 case BinaryRelationExpression::RelationType::Equal:
-                    if (expression.getFirstOperand()->isBinaryNumericalFunctionExpression()) {
-                        if (expression.getFirstOperand()->asBinaryNumericalFunctionExpression().getOperatorType() == BinaryNumericalFunctionExpression::OperatorType::Modulo) {
-                            expression.getFirstOperand()->accept(*this, data);
-                        }
-                    } else {
-                        stream << "(";
-                        expression.getFirstOperand()->accept(*this, data);
-                        stream << "==";
-                        expression.getSecondOperand()->accept(*this, data);
-                        stream << ")";
-                    }
-
+                    stream << "(";
+                    expression.getFirstOperand()->accept(*this, data);
+                    stream << "==";
+                    expression.getSecondOperand()->accept(*this, data);
+                    stream << ")";
                     break;
                 case BinaryRelationExpression::RelationType::NotEqual:
                     stream << "(";