Merge branch 'master' into parametricSystems

Former-commit-id: 22db86e53f
10 years ago · 262bb90188
1 changed files with 1 additions and 0 deletions
--- a/src/solver/SmtSolver.h
+++ b/src/solver/SmtSolver.h
@ -15,6 +15,7 @@
 #include <unordered_set>
 #include <initializer_list>
 #include <functional>
+#include <vector>

 namespace storm {
 	namespace solver {