Merge remote-tracking branch 'upstream/master'

7 years ago · 1cb9c553eb
1 changed files with 1 additions and 1 deletions
--- 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"