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 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"});