diff --git a/src/storm-dft/transformations/DftToGspnTransformator.cpp b/src/storm-dft/transformations/DftToGspnTransformator.cpp index cfb414f25..4ee616ee4 100644 --- a/src/storm-dft/transformations/DftToGspnTransformator.cpp +++ b/src/storm-dft/transformations/DftToGspnTransformator.cpp @@ -23,7 +23,7 @@ namespace storm { this->priorities = priorities; this->dontCareElements = dontCareElements; this->smart = smart; - this->mergedDCFailed = false;//mergeDCFailed; + this->mergedDCFailed = mergeDCFailed; this->dontCarePriority = 1; builder.setGspnName("DftToGspnTransformation");