From 234b590bdf93ce122831e38d409d2f83998fa08b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 20 Jul 2017 15:51:36 +0200
Subject: [PATCH] Fixed #include

---
 src/storm/modelchecker/multiobjective/Objective.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"