diff --git a/src/storm-dft/settings/DftSettings.cpp b/src/storm-dft/settings/DftSettings.cpp index b80afa2ce..6808e6e44 100644 --- a/src/storm-dft/settings/DftSettings.cpp +++ b/src/storm-dft/settings/DftSettings.cpp @@ -13,6 +13,7 @@ #include "storm/settings/modules/NativeEquationSolverSettings.h" #include "storm/settings/modules/EliminationSettings.h" #include "storm/settings/modules/MinMaxEquationSolverSettings.h" +#include "storm/settings/modules/GameSolverSettings.h" #include "storm/settings/modules/BisimulationSettings.h" #include "storm/settings/modules/ResourceSettings.h" #include "storm/settings/modules/JaniExportSettings.h" @@ -38,6 +39,7 @@ namespace storm { storm::settings::addModule<storm::settings::modules::EigenEquationSolverSettings>(); storm::settings::addModule<storm::settings::modules::EliminationSettings>(); storm::settings::addModule<storm::settings::modules::MinMaxEquationSolverSettings>(); + storm::settings::addModule<storm::settings::modules::GameSolverSettings>(false); // storm::settings::addModule<storm::settings::modules::BisimulationSettings>(); storm::settings::addModule<storm::settings::modules::ResourceSettings>();