From b6d3b0242f56213f689eeec55e1226505583550c Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 23 Nov 2017 17:38:10 +0100
Subject: [PATCH] Fixed encoding for toplevel element

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

diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index f99cc23aa..fd1db1421 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -479,7 +479,7 @@ namespace storm {
             }
 
             // Toplevel element will not fail (part of constraint 13)
-            constraints.push_back(std::make_shared<IsConstantValue>(dft.getTopLevelIndex(), notFailed));
+            constraints.push_back(std::make_shared<IsConstantValue>(timePointVariables.at(dft.getTopLevelIndex()), notFailed));
             constraints.back()->setDescription("Toplevel element should not fail");
         }