dont modularise modules

Former-commit-id: 90f95b2065
9 years ago · f12e02f8ff
1 changed files with 1 additions and 1 deletions
--- 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;
                       }