diff --git a/src/storm/logic/GameFormula.cpp b/src/storm/logic/GameFormula.cpp
index a3e3cc649..8387e38fd 100644
--- a/src/storm/logic/GameFormula.cpp
+++ b/src/storm/logic/GameFormula.cpp
@@ -24,6 +24,10 @@ namespace storm {
             return coalition;
         }
 
+        void GameFormula::gatherReferencedRewardModels(std::set<std::string>& referencedRewardModels) const {
+            this->getSubformula().gatherReferencedRewardModels(referencedRewardModels);
+        }
+
         boost::any GameFormula::accept(FormulaVisitor const& visitor, boost::any const& data) const {
             return visitor.visit(*this, data);
         }