From e364d3be5356a4b725dd22ba701ead4a89c2f292 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 31 Aug 2015 18:47:11 +0200
Subject: [PATCH] added missing header

Former-commit-id: 9f3072ffc9ca09af9bd73fa4a658bcc117b72196
---
 src/solver/SolveGoal.h | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/solver/SolveGoal.h b/src/solver/SolveGoal.h
index 3620de40d..6b4246800 100644
--- a/src/solver/SolveGoal.h
+++ b/src/solver/SolveGoal.h
@@ -1,6 +1,7 @@
+#ifndef STORM_SOLVER_SOLVEGOAL_H_
+#define	STORM_SOLVER_SOLVEGOAL_H_
 
-#ifndef SOLVEGOAL_H
-#define	SOLVEGOAL_H
+#include <memory>
 
 #include "src/solver/OptimizationDirection.h"
 #include "src/logic/ComparisonType.h"
@@ -62,11 +63,9 @@ namespace storm {
         std::unique_ptr<storm::solver::MinMaxLinearEquationSolver<VT>> configureMinMaxLinearEquationSolver(BoundedGoal<VT> const& goal, storm::utility::solver::MinMaxLinearEquationSolverFactory<VT> const& factory, storm::storage::SparseMatrix<VT> const&  matrix);
         template<typename VT> 
         std::unique_ptr<storm::solver::MinMaxLinearEquationSolver<VT>> configureMinMaxLinearEquationSolver(SolveGoal const& goal, storm::utility::solver::MinMaxLinearEquationSolverFactory<VT> const& factory, storm::storage::SparseMatrix<VT> const&  matrix);
-        
-       
     }
 }
 
 
-#endif	/* SOLVEGOAL_H */
+#endif	/* STORM_SOLVER_SOLVEGOAL_H_ */