diff --git a/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend b/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend index fa483f6ffd..adb7c027e6 100644 --- a/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend +++ b/plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/SignalTransformation.xtend @@ -136,8 +136,10 @@ class SignalTransformation extends AbstractSCEstDynamicProcessor { val parallel = createParallel val thread2 = createThread parallel.threads.add(thread2) - thread2.statements.addAll(module.statements) - thread2.statements.add(createAssignment(term, createTrue)) + var scope = createScopeStatement + thread2.statements.add(scope) + scope.statements.addAll(module.statements) + scope.statements.add(createAssignment(term, createTrue)) module.statements.add(parallel) module.declarations.add(decl)