Fixed setting correct model type for JaniGSPNBuilder

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