Matthias Volk
4 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
1 additions and
1 deletions
-
src/storm-parsers/parser/PrismParser.cpp
|
|
@ -453,7 +453,7 @@ namespace storm { |
|
|
return false; |
|
|
return false; |
|
|
} |
|
|
} |
|
|
return true; |
|
|
return true; |
|
|
}; |
|
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
bool PrismParser::isFreshIdentifier(std::string const& identifier) { |
|
|
bool PrismParser::isFreshIdentifier(std::string const& identifier) { |
|
|
if (!this->secondRun && this->manager->hasVariable(identifier)) { |
|
|
if (!this->secondRun && this->manager->hasVariable(identifier)) { |
|
|
|
