From 073d2affa4297e3c5c461231ae558448335d90c1 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 4 Jun 2020 15:24:57 +0200
Subject: [PATCH] api/verification: Added a missing include

---
 src/storm/api/verification.h | 1 +
 1 file changed, 1 insertion(+)

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"