From 99c87182e4f2da4f1b341bc3628cc9a2ef70904f Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 19 Feb 2016 11:10:06 +0100
Subject: [PATCH] Fixed missing include for gcc

Former-commit-id: 3cf040d87ccef51985901d4f1104dc04ac944655
---
 src/solver/AbstractEquationSolver.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/solver/AbstractEquationSolver.h b/src/solver/AbstractEquationSolver.h
index 904e459bd..491570637 100644
--- a/src/solver/AbstractEquationSolver.h
+++ b/src/solver/AbstractEquationSolver.h
@@ -2,6 +2,7 @@
 #define STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_
 
 #include "src/solver/TerminationCondition.h"
+#include <memory>
 
 namespace storm {
     namespace solver {
@@ -50,4 +51,4 @@ namespace storm {
     }
 }
 
-#endif /* STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_ */
\ No newline at end of file
+#endif /* STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_ */