the correct default rate from greatSPN editor

Former-commit-id: f92ecb2e6f [formerly 88d80efdb2] Former-commit-id: d1f0986702
9 years ago · 3f9cfae253
1 changed files with 1 additions and 1 deletions
--- a/src/parser/GspnParser.cpp
+++ b/src/parser/GspnParser.cpp
@ -773,7 +773,7 @@ namespace storm {
        void GspnParser::traverseTransitionElement(xercesc::DOMNode const* const node) {
            std::string transitionName;
            bool immediateTransition;
-            double rate;
+            double rate = 1.0; // The default rate in GreatSPN. 

            // traverse attributes
            for (uint_fast64_t i = 0; i < node->getAttributes()->getLength(); ++i) {