From 3f9cfae2536759c35eccb0bf74f102b40eaae7ba Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Mon, 10 Oct 2016 19:48:38 +0200
Subject: [PATCH] the correct default rate from greatSPN editor

Former-commit-id: f92ecb2e6f5aeb75b6fd12c4c41e7f4a2f34acea [formerly 88d80efdb204616674fc4a511173278ea660e42e]
Former-commit-id: d1f0986702f3db978e44fcdec2e39656b0b8e29f
---
 src/parser/GspnParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/GspnParser.cpp b/src/parser/GspnParser.cpp
index a922bd5a8..be46626d5 100644
--- 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) {