diff --git a/src/core/environment.cpp b/src/core/environment.cpp index ecc46b0..9f1c89b 100644 --- a/src/core/environment.cpp +++ b/src/core/environment.cpp @@ -9,6 +9,7 @@ #include "storm/environment/solver/TopologicalSolverEnvironment.h" #include "storm/environment/solver/MultiplierEnvironment.h" #include "storm/environment/solver/MinMaxSolverEnvironment.h" +#include "storm/environment/solver/LongRunAverageSolverEnvironment.h" void define_environment(py::module& m) { py::enum_(m, "EquationSolverType", "Solver type for equation systems")