From 063d06fd66c11639592285880c93703e1eddf324 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 30 Sep 2016 16:32:15 +0200
Subject: [PATCH] changed dot to underscore in JANI automaton delimiter

Former-commit-id: 04e0f12017ac0ad1d11fb79a67e7d476b8a4589d [formerly 2e7e0edfdab03e63643cc6aa82701a259c08ba5d]
Former-commit-id: 429211b743ac5c50e0dd04564fb8b28b3d37167d
---
 src/parser/JaniParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/JaniParser.cpp b/src/parser/JaniParser.cpp
index 6953c70ea..ebcb07d4a 100644
--- a/src/parser/JaniParser.cpp
+++ b/src/parser/JaniParser.cpp
@@ -26,7 +26,7 @@ namespace storm {
         const bool JaniParser::defaultBooleanInitialValue = false;
         const double JaniParser::defaultRationalInitialValue = 0.0;
         const int64_t JaniParser::defaultIntegerInitialValue = 0;
-        const std::string VARIABLE_AUTOMATON_DELIMITER = ".";
+        const std::string VARIABLE_AUTOMATON_DELIMITER = "_";
         const std::set<std::string> JaniParser::unsupportedOpstrings({"sin", "cos", "tan", "cot", "sec", "csc", "asin", "acos", "atan", "acot", "asec", "acsc",
                                                          "sinh", "cosh", "tanh", "coth", "sech", "csch", "asinh", "acosh", "atanh", "asinh", "acosh"});