diff --git a/src/storm/modelchecker/multiobjective/Objective.h b/src/storm/modelchecker/multiobjective/Objective.h
index 6b1f44f1f..b58cfd589 100644
--- a/src/storm/modelchecker/multiobjective/Objective.h
+++ b/src/storm/modelchecker/multiobjective/Objective.h
@@ -2,7 +2,7 @@
 
 #include <boost/optional.hpp>
 
-#include "storm/logic/Formula.h"
+#include "storm/logic/Formulas.h"
 #include "storm/logic/Bound.h"
 #include "storm/logic/TimeBound.h"
 #include "storm/logic/TimeBoundType.h"