From fdc2f2bd0c6cf185983d1c129c835becd4889b22 Mon Sep 17 00:00:00 2001 From: dehnert Date: Fri, 2 Mar 2018 18:32:16 +0100 Subject: [PATCH] removed wrong include to make it compile again --- src/storm/solver/LinearEquationSolver.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/storm/solver/LinearEquationSolver.h b/src/storm/solver/LinearEquationSolver.h index c53c23393..525623781 100644 --- a/src/storm/solver/LinearEquationSolver.h +++ b/src/storm/solver/LinearEquationSolver.h @@ -8,7 +8,6 @@ #include "storm/solver/MultiplicationStyle.h" #include "storm/solver/LinearEquationSolverProblemFormat.h" #include "storm/solver/LinearEquationSolverRequirements.h" -#include "storm/solver/LinearEquationSolverTask.h" #include "storm/solver/OptimizationDirection.h" #include "storm/utility/VectorHelper.h"