From 52fc8c8e35537e0dd9157e3fbbc45efd79df522a Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 30 Jul 2018 20:48:09 +0200
Subject: [PATCH] removed unused setting

---
 src/storm-gspn/settings/modules/GSPNSettings.cpp | 7 -------
 src/storm-gspn/settings/modules/GSPNSettings.h   | 5 -----
 2 files changed, 12 deletions(-)

diff --git a/src/storm-gspn/settings/modules/GSPNSettings.cpp b/src/storm-gspn/settings/modules/GSPNSettings.cpp
index 2a0588b3d..74bd7e28f 100644
--- a/src/storm-gspn/settings/modules/GSPNSettings.cpp
+++ b/src/storm-gspn/settings/modules/GSPNSettings.cpp
@@ -36,10 +36,6 @@ namespace storm {
                 return this->getOption(gspnFileOptionName).getArgumentByName("filename").getValueAsString();
             }
             
-            bool GSPNSettings::isToJaniSet() const {
-                return this->getOption(gspnToJaniOptionName).getHasOptionBeenSet();
-            }
-            
             bool GSPNSettings::isCapacitiesFileSet() const {
                 return this->getOption(capacitiesFileOptionName).getHasOptionBeenSet();
             }
@@ -54,9 +50,6 @@ namespace storm {
             
             bool GSPNSettings::check() const {
                 if(!isGspnFileSet()) {
-                    if(isToJaniSet()) {
-                        return false;
-                    }
                     if(isCapacitiesFileSet()) {
                         return false;
                     }
diff --git a/src/storm-gspn/settings/modules/GSPNSettings.h b/src/storm-gspn/settings/modules/GSPNSettings.h
index f4ff4ff2c..161990bf8 100644
--- a/src/storm-gspn/settings/modules/GSPNSettings.h
+++ b/src/storm-gspn/settings/modules/GSPNSettings.h
@@ -24,11 +24,6 @@ namespace storm {
                  */
                 std::string getGspnFilename() const;
                 
-                /**
-                 * Whether the gspn should be transformed to Jani
-                 */
-                bool isToJaniSet() const;
-                
                 /**
                  * Retrievew whether the pgcl file option was set
                  */