Browse Source

storm-pars no longer uses export settings

tempestpy_adaptions
TimQu 6 years ago
parent
commit
c268926568
  1. 2
      src/storm-pars/settings/ParsSettings.cpp

2
src/storm-pars/settings/ParsSettings.cpp

@ -20,7 +20,6 @@
#include "storm/settings/modules/GameSolverSettings.h" #include "storm/settings/modules/GameSolverSettings.h"
#include "storm/settings/modules/BisimulationSettings.h" #include "storm/settings/modules/BisimulationSettings.h"
#include "storm/settings/modules/ResourceSettings.h" #include "storm/settings/modules/ResourceSettings.h"
#include "storm/settings/modules/JaniExportSettings.h"
#include "storm/settings/modules/JitBuilderSettings.h" #include "storm/settings/modules/JitBuilderSettings.h"
#include "storm/settings/modules/MultiplierSettings.h" #include "storm/settings/modules/MultiplierSettings.h"
@ -49,7 +48,6 @@ namespace storm {
storm::settings::addModule<storm::settings::modules::GameSolverSettings>(); storm::settings::addModule<storm::settings::modules::GameSolverSettings>();
storm::settings::addModule<storm::settings::modules::BisimulationSettings>(); storm::settings::addModule<storm::settings::modules::BisimulationSettings>();
storm::settings::addModule<storm::settings::modules::ResourceSettings>(); storm::settings::addModule<storm::settings::modules::ResourceSettings>();
storm::settings::addModule<storm::settings::modules::JaniExportSettings>();
storm::settings::addModule<storm::settings::modules::JitBuilderSettings>(); storm::settings::addModule<storm::settings::modules::JitBuilderSettings>();
storm::settings::addModule<storm::settings::modules::MultiplierSettings>(); storm::settings::addModule<storm::settings::modules::MultiplierSettings>();
} }

Loading…
Cancel
Save