From ece2a93f3778b7fc130491b7ccabdc21d4d54c1c Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 12 Nov 2018 14:27:08 +0100
Subject: [PATCH] Fixed a warning

---
 .../jani/expressions/JaniReduceNestingExpressionVisitor.h      | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;