diff --git a/src/main.cpp b/src/main.cpp
index e250873..3e71828 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -1,6 +1,9 @@
 #include <storm/api/storm.h>
 #include <storm/utility/initialize.h>
 #include <storm-parsers/api/storm-parsers.h>
+// We include the settings manager explicitly, as it is no longer pulled in transitively by storm/api/storm.h.
+// TODO: drop the settings usage, e.g. by switching from storm::settings to storm::Environment, once the settings are fully removed from the storm API.
+#include <storm/settings/SettingsManager.h>
 
 typedef storm::models::sparse::Dtmc<double> Dtmc;
 typedef storm::modelchecker::SparseDtmcPrctlModelChecker<Dtmc> DtmcModelChecker;