From 4ccc8374346ea1090126361e3aea7020fcf19b12 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 19 Sep 2018 14:38:57 +0200
Subject: [PATCH] Fixed setting correct model type for JaniGSPNBuilder

---
 src/storm-gspn/builder/JaniGSPNBuilder.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm-gspn/builder/JaniGSPNBuilder.cpp b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
index 0e723cdbd..9bea2ed69 100644
--- a/src/storm-gspn/builder/JaniGSPNBuilder.cpp
+++ b/src/storm-gspn/builder/JaniGSPNBuilder.cpp
@@ -11,9 +11,9 @@ namespace storm {
         storm::jani::Model* JaniGSPNBuilder::build(std::string const& automatonName, bool buildStandardProperties) {
             storm::jani::ModelType modelType = storm::jani::ModelType::MA;
             if (gspn.getNumberOfTimedTransitions() == 0) {
-                storm::jani::ModelType modelType = storm::jani::ModelType::MDP;
+                modelType = storm::jani::ModelType::MDP;
             } else if (gspn.getNumberOfImmediateTransitions() == 0) {
-                storm::jani::ModelType modelType = storm::jani::ModelType::CTMC;
+                modelType = storm::jani::ModelType::CTMC;
             }
             storm::jani::Model* model = new storm::jani::Model(gspn.getName(), modelType, janiVersion, expressionManager);
             storm::jani::Automaton mainAutomaton(automatonName, expressionManager->declareIntegerVariable("loc"));