From f12e02f8ff0c2543a4207cef4ec4f91ef2fee086 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 Mar 2016 17:14:50 +0100
Subject: [PATCH] dont modularise modules

Former-commit-id: 90f95b2065c1c0d25eea32c3b27b95f3611a7fd4
---
 src/storage/dft/DFT.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/dft/DFT.cpp b/src/storage/dft/DFT.cpp
index 890e2de25..4d6e88d0f 100644
--- a/src/storage/dft/DFT.cpp
+++ b/src/storage/dft/DFT.cpp
@@ -461,7 +461,7 @@ namespace storm {
                                rewrite.push_back(isdElemId);
                            }
                        }
-                       if(rewrite.size() > 2) {
+                       if(rewrite.size() > 2 && rewrite.size() < e->children().size() - 1) {
                            return rewrite;
                        }