diff --git a/src/modelChecker/DtmcPrctlModelChecker.h b/src/modelChecker/DtmcPrctlModelChecker.h
index 60a88adce..f443a2ead 100644
--- a/src/modelChecker/DtmcPrctlModelChecker.h
+++ b/src/modelChecker/DtmcPrctlModelChecker.h
@@ -31,6 +31,7 @@ class DtmcPrctlModelChecker;
 #include "src/models/Dtmc.h"
 #include "src/storage/BitVector.h"
 #include "src/exceptions/InvalidPropertyException.h"
+#include "src/utility/Vector.h"
 #include <vector>
 
 #include "log4cplus/logger.h"