From affa7db555fe6bf2b06003f7cfdf70d74dd0e8be Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sat, 11 Mar 2017 14:26:29 +0100
Subject: [PATCH] Depth heuristic did not skip

---
 src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
index 8483aa3fd..84eaa21a7 100644
--- a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
+++ b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
@@ -177,7 +177,7 @@ namespace storm {
                         approximationThreshold = dft.nrElements()+10;
                         break;
                     case storm::builder::ApproximationHeuristic::DEPTH:
-                        approximationThreshold = iteration;
+                        approximationThreshold = iteration + 1;
                         break;
                     case storm::builder::ApproximationHeuristic::PROBABILITY:
                     case storm::builder::ApproximationHeuristic::BOUNDDIFFERENCE: