diff --git a/src/storm/logic/FragmentSpecification.cpp b/src/storm/logic/FragmentSpecification.cpp index 46d7c4075..9405a3841 100644 --- a/src/storm/logic/FragmentSpecification.cpp +++ b/src/storm/logic/FragmentSpecification.cpp @@ -106,6 +106,9 @@ namespace storm { multiObjective.setBoundedUntilFormulasAllowed(true); multiObjective.setStepBoundedUntilFormulasAllowed(true); multiObjective.setTimeBoundedUntilFormulasAllowed(true); + multiObjective.setLongRunAverageOperatorsAllowed(true); + multiObjective.setLongRunAverageRewardFormulasAllowed(true); + return multiObjective; }