From 35a76010b7517480361349afbbfadb2ed4490216 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Wed, 9 Nov 2016 10:55:39 +0100
Subject: [PATCH] Redundant include

Former-commit-id: a6aa6c8dcf2a2e8d2b613618ab40f44c58384b68
---
 src/solver/AbstractEquationSolver.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/solver/AbstractEquationSolver.h b/src/solver/AbstractEquationSolver.h
index 6cc03d56d..491570637 100644
--- a/src/solver/AbstractEquationSolver.h
+++ b/src/solver/AbstractEquationSolver.h
@@ -1,7 +1,6 @@
 #ifndef STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_
 #define STORM_SOLVER_ABSTRACTEQUATIONSOLVER_H_
 
-#include <memory>
 #include "src/solver/TerminationCondition.h"
 #include <memory>