post-merge fix

Former-commit-id: a38e3814a8 [formerly 9080cd5326] Former-commit-id: 8d320ba2d0
8 years ago · 5569225f00
1 changed files with 1 additions and 2 deletions
--- a/src/storm/settings/modules/DFTSettings.cpp
+++ b/src/storm/settings/modules/DFTSettings.cpp
@ -29,11 +29,10 @@ namespace storm {
            const std::string DFTSettings::propTimeBoundOptionName = "timebound";
            const std::string DFTSettings::minValueOptionName = "min";
            const std::string DFTSettings::maxValueOptionName = "max";
+            const std::string DFTSettings::transformToGspnOptionName = "gspn";
 #ifdef STORM_HAVE_Z3
            const std::string DFTSettings::solveWithSmtOptionName = "smt";
 #endif
-            
-            const std::string DFTSettings::transformToGspnOptionName = "gspn";

            DFTSettings::DFTSettings() : ModuleSettings(moduleName) {
                this->addOption(storm::settings::OptionBuilder(moduleName, dftFileOptionName, false, "Parses the model given in the Galileo format.").setShortName(dftFileOptionShortName)