diff --git a/src/storm/storage/jani/expressions/JaniReduceNestingExpressionVisitor.h b/src/storm/storage/jani/expressions/JaniReduceNestingExpressionVisitor.h
index c45c1ac6e..59b06a695 100644
--- a/src/storm/storage/jani/expressions/JaniReduceNestingExpressionVisitor.h
+++ b/src/storm/storage/jani/expressions/JaniReduceNestingExpressionVisitor.h
@@ -15,7 +15,8 @@ namespace storm {
         class JaniReduceNestingExpressionVisitor : public ReduceNestingVisitor, public JaniExpressionVisitor {
         public:
             JaniReduceNestingExpressionVisitor();
-            
+            using ReduceNestingVisitor::visit;
+
             virtual boost::any visit(ValueArrayExpression const& expression, boost::any const& data) override;
             virtual boost::any visit(ConstructorArrayExpression const& expression, boost::any const& data) override;
             virtual boost::any visit(ArrayAccessExpression const& expression, boost::any const& data) override;