Added missing include (#141)

moves-rwth · Nov 22, 2023 · 4e8436c · 4e8436c
2 parents 12d5a78 + 1715fe7
commit 4e8436c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/core/modelchecking.cpp b/src/core/modelchecking.cpp
@@ -6,6 +6,7 @@
 #include "storm/modelchecker/csl/helper/SparseCtmcCslHelper.h"
 #include "storm/modelchecker/multiobjective/multiObjectiveModelChecking.h"
 #include "storm/environment/Environment.h"
+#include "storm/utility/graph.h"
 
 template<typename ValueType>
 using CheckTask = storm::modelchecker::CheckTask<storm::logic::Formula, ValueType>;