From 39fb2650cdb152a9d0e148288e9268b0757a34c1 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 3 Dec 2014 23:07:35 +0100
Subject: [PATCH] Included missing header.

Former-commit-id: dd278656bf991d11e9f45005453732890f690737
---
 src/solver/SmtSolver.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/solver/SmtSolver.h b/src/solver/SmtSolver.h
index 51235d28c..780f83a62 100644
--- 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 {