From 7abf0c2a8fed00f6bd183df26cd00ac5faae5e4d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 4 Jan 2019 18:48:54 +0100
Subject: [PATCH] Update failable dependencies if trigger was set to dont care

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

diff --git a/src/storm-dft/storage/dft/DFTState.cpp b/src/storm-dft/storage/dft/DFTState.cpp
index 26d3c42da..2bbc2dfed 100644
--- a/src/storm-dft/storage/dft/DFTState.cpp
+++ b/src/storm-dft/storage/dft/DFTState.cpp
@@ -187,6 +187,7 @@ namespace storm {
         template<typename ValueType>
         void DFTState<ValueType>::beNoLongerFailable(size_t id) {
             failableElements.removeBE(id);
+            updateDontCareDependencies(id);
         }
 
         template<typename ValueType>
@@ -216,6 +217,7 @@ namespace storm {
                 assert(dependency->dependentEvents().size() == 1);
                 STORM_LOG_ASSERT(dependency->dependentEvents()[0]->id() == id, "Ids do not match.");
                 setDependencyDontCare(dependency->id());
+                failableElements.removeDependency(dependency->id());
             }
         }