From 865db610187da459ef9910f6938af1ae126b9f69 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 18 Nov 2016 16:49:53 +0100
Subject: [PATCH] Silence warning by not giving an argument name

---
 src/storm/builder/DftExplorationHeuristic.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm/builder/DftExplorationHeuristic.h b/src/storm/builder/DftExplorationHeuristic.h
index 44931dfbf..af8aef4a1 100644
--- a/src/storm/builder/DftExplorationHeuristic.h
+++ b/src/storm/builder/DftExplorationHeuristic.h
@@ -80,7 +80,7 @@ namespace storm {
                 // Intentionally left empty
             }
 
-            bool updateHeuristicValues(DFTExplorationHeuristic<ValueType> const& predecessor, ValueType rate, ValueType exitRate) override {
+            bool updateHeuristicValues(DFTExplorationHeuristic<ValueType> const&, ValueType, ValueType) override {
                 return false;
             }
 
@@ -88,7 +88,7 @@ namespace storm {
                 return 0;
             }
 
-            bool isSkip(double approximationThreshold) const override {
+            bool isSkip(double) const override {
                 return false;
             }
 
@@ -108,7 +108,7 @@ namespace storm {
                 // Intentionally left empty
             }
 
-            bool updateHeuristicValues(DFTExplorationHeuristic<ValueType> const& predecessor, ValueType rate, ValueType exitRate) override {
+            bool updateHeuristicValues(DFTExplorationHeuristic<ValueType> const& predecessor, ValueType, ValueType) override {
                 if (predecessor.getDepth() < this->depth) {
                     this->depth = predecessor.getDepth();
                     return true;