From 092a43a0a5711e3603fb90df383b92514b2ef9b7 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Sat, 15 Sep 2018 11:52:19 +0200
Subject: [PATCH] fixed correct export of modulo operator
---
src/storm/storage/jani/JSONExporter.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp
index ed08b7a98..480b2cbe6 100644
--- a/src/storm/storage/jani/JSONExporter.cpp
+++ b/src/storm/storage/jani/JSONExporter.cpp
@@ -590,7 +590,7 @@ namespace storm {
case OpType::Power:
return "pow";
case OpType::Modulo:
- return "mod";
+ return "%";
case OpType::Equal:
return "=";
case OpType::NotEqual: