Removed unnecessary include.

6 years ago · 193c961727
1 changed files with 0 additions and 1 deletions
--- 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"