From 0d4cf67f2ec1b2ea4d816a4629fe0d12ba5d1d4f Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 12 Jun 2018 16:57:47 +0200
Subject: [PATCH] Set mergeDC from setting

---
 src/storm-dft/transformations/DftToGspnTransformator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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");