Added missing include.

4 years ago · f316bb9d38
1 changed files with 2 additions and 0 deletions
--- a/src/storm/modelchecker/helper/infinitehorizon/HybridNondeterministicInfiniteHorizonHelper.cpp
+++ b/src/storm/modelchecker/helper/infinitehorizon/HybridNondeterministicInfiniteHorizonHelper.cpp
@ -3,6 +3,8 @@
 #include "storm/modelchecker/helper/infinitehorizon/SparseNondeterministicInfiniteHorizonHelper.h"
 #include "storm/modelchecker/helper/utility/SetInformationFromOtherHelper.h"

+#include "storm/storage/SparseMatrix.h"
+
 #include "storm/utility/macros.h"

 #include "storm/exceptions/NotSupportedException.h"