adding missing include

12 years ago · 54499c35ee
1 changed files with 1 additions and 0 deletions
--- 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"