diff --git a/src/storm/logic/GameFormula.cpp b/src/storm/logic/GameFormula.cpp
index 697a695a0..bdd74440c 100644
--- a/src/storm/logic/GameFormula.cpp
+++ b/src/storm/logic/GameFormula.cpp
@@ -20,6 +20,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);
         }
diff --git a/src/storm/logic/GameFormula.h b/src/storm/logic/GameFormula.h
index 113b9e65f..719571767 100644
--- a/src/storm/logic/GameFormula.h
+++ b/src/storm/logic/GameFormula.h
@@ -20,6 +20,8 @@ namespace storm {
             Formula const& getSubformula() const;
             Coalition getCoalition() const;
 
+            virtual void gatherReferencedRewardModels(std::set<std::string>& referencedRewardModels) const;
+
             boost::any accept(FormulaVisitor const& visitor, boost::any const& data) const;
 
             std::ostream& writeToStream(std::ostream& out) const;