From 193c9617279e4b597aea0d9eff0eb1e1af3b9fff Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 29 Apr 2019 09:30:27 +0200
Subject: [PATCH] Removed unnecessary include.

---
 .../preprocessing/SparseMultiObjectiveRewardAnalysis.cpp         | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectiveRewardAnalysis.cpp b/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectiveRewardAnalysis.cpp
index 6277162fd..3c9c0e6a4 100644
--- a/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectiveRewardAnalysis.cpp
+++ b/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectiveRewardAnalysis.cpp
@@ -2,7 +2,6 @@
 
 #include <algorithm>
 #include <set>
-#include <storm/modelchecker/multiobjective/SparseMultiObjectivePreprocessorResult.h>
 
 #include "storm/models/sparse/Mdp.h"
 #include "storm/models/sparse/MarkovAutomaton.h"