diff --git a/src/storm-dft/transformations/DftToGspnTransformator.h b/src/storm-dft/transformations/DftToGspnTransformator.h
index 7753fb509..0c2d9ce55 100644
--- a/src/storm-dft/transformations/DftToGspnTransformator.h
+++ b/src/storm-dft/transformations/DftToGspnTransformator.h
@@ -225,6 +225,7 @@ namespace storm {
                 std::map<uint64_t, uint64_t> unavailablePlaces;
                 std::map<uint64_t, uint64_t> activePlaces;
                 std::map<uint64_t, uint64_t> disabledPlaces;
+                std::map<uint64_t, uint64_t> dependencyPropagationPlaces;
                 std::map<uint64_t, uint64_t> dontcareTransitions;
 
                 static constexpr const char *STR_FAILING = "_failing";          // Name standard for transitions that point towards a place, which in turn indicates the failure of a gate.