diff --git a/src/storm/analysis/GraphConditions.h b/src/storm/analysis/GraphConditions.h
index bce7f9837..5b5140431 100644
--- a/src/storm/analysis/GraphConditions.h
+++ b/src/storm/analysis/GraphConditions.h
@@ -4,6 +4,7 @@
 #include <unordered_set>
 #include "storm/adapters/RationalFunctionAdapter.h"
 #include "storm/models/sparse/Dtmc.h"
+#include <carl/formula/Formula.h>
 
 #include <carl/formula/Formula.h>