From 1fcc3756081bc16b2ede053f6ebc97e9585623d4 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Dec 2018 14:12:27 +0100
Subject: [PATCH] BE can no longer fail after triggered failure

---
 src/storm-dft/storage/dft/DFTState.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft/storage/dft/DFTState.cpp b/src/storm-dft/storage/dft/DFTState.cpp
index d7403026c..42438f5b3 100644
--- a/src/storm-dft/storage/dft/DFTState.cpp
+++ b/src/storm-dft/storage/dft/DFTState.cpp
@@ -253,6 +253,7 @@ namespace storm {
                 mFailableDependencies.erase(mFailableDependencies.begin() + index);
                 setFailed(res.first->id());
                 setDependencySuccessful(dependency->id());
+                beNoLongerFailable(res.first->id());
                 return res;
             } else {
                 // Consider "normal" failure