removed unused setting

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;
                     }

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
                  */