diff --git a/src/storage/dft/elements/DFTRestriction.h b/src/storage/dft/elements/DFTRestriction.h
index f0fef5845..78036528e 100644
--- a/src/storage/dft/elements/DFTRestriction.h
+++ b/src/storage/dft/elements/DFTRestriction.h
@@ -183,7 +183,8 @@ namespace storm {
             }
             
             virtual bool checkDontCareAnymore(storm::storage::DFTState<ValueType>& state, DFTStateSpaceGenerationQueues<ValueType>& queues) const override {
-                
+                // Actually, it doesnt matter what we return here..
+                return false;
             }
 
             virtual DFTElementType type() const override {