fixed correct export of modulo operator

6 years ago · 092a43a0a5
1 changed files with 1 additions and 1 deletions
--- 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: