diff --git a/src/core/environment.cpp b/src/core/environment.cpp index 2e23f971b..9fa4f06af 100644 --- a/src/core/environment.cpp +++ b/src/core/environment.cpp @@ -34,7 +34,6 @@ void define_environment(py::module& m) { .value("interval_iteration", storm::solver::MinMaxMethod::IntervalIteration) .value("sound_value_iteration", storm::solver::MinMaxMethod::SoundValueIteration) .value("optimistic_value_iteration", storm::solver::MinMaxMethod::OptimisticValueIteration) - .value("topological_cuda", storm::solver::MinMaxMethod::TopologicalCuda) ; py::class_(m, "Environment", "Environment")