From 1b6200e4eb16f8dcf9a9a5ae1e85432c226bb081 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Thu, 1 Mar 2018 12:50:06 +0100
Subject: [PATCH] added missing includes

---
 src/storm/solver/Multiplier.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm/solver/Multiplier.h b/src/storm/solver/Multiplier.h
index 4356c583e..c420984e7 100644
--- a/src/storm/solver/Multiplier.h
+++ b/src/storm/solver/Multiplier.h
@@ -1,5 +1,8 @@
 #pragma once
 
+#include <vector>
+#include <memory>
+
 #include "storm/solver/OptimizationDirection.h"
 #include "storm/solver/MultiplicationStyle.h"