From 4b13ad3220d61285db05d3930aa8be48487ae55b Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 24 Sep 2020 14:22:23 +0200
Subject: [PATCH] Fix for multi-obj LRA preprocessing

---
 .../preprocessing/SparseMultiObjectivePreprocessor.cpp          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessor.cpp b/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessor.cpp
index 9c54b343f..c0185e658 100644
--- a/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessor.cpp
+++ b/src/storm/modelchecker/multiobjective/preprocessing/SparseMultiObjectivePreprocessor.cpp
@@ -185,7 +185,7 @@ namespace storm {
                             } else {
                                 STORM_LOG_THROW(false, storm::exceptions::InvalidPropertyException, "The subformula of " << pathFormula << " is not supported.");
                             }
-                        } else if (opFormula->isLongRunAverageRewardFormula()) {
+                        } else if (opFormula->isLongRunAverageOperatorFormula()) {
                             auto lraStates = mc.check(pathFormula)->asExplicitQualitativeCheckResult().getTruthValuesVector();
                             // Compute Sat(Forall F (Forall G not "lraStates"))
                             auto forallGloballyNotLraStates = storm::utility::graph::performProb0A(backwardTransitions, ~lraStates, lraStates);