diff --git a/src/storm/api/verification.h b/src/storm/api/verification.h
index f5033568c..3e5f916a5 100644
--- a/src/storm/api/verification.h
+++ b/src/storm/api/verification.h
@@ -26,6 +26,7 @@
 #include "storm/models/sparse/Dtmc.h"
 #include "storm/models/sparse/Mdp.h"
 
+#include "storm/settings/SettingsManager.h"
 #include "storm/settings/modules/CoreSettings.h"
 #include "storm/settings/modules/EliminationSettings.h"
 #include "storm/settings/modules/AbstractionSettings.h"