diff --git a/reusablecfg/src/main/jastadd/SimpleCFG.jrag b/reusablecfg/src/main/jastadd/SimpleCFG.jrag index ab68075b4fdb0f88298c614af2a83b390c261cc5..33495b211032aa339e72357bf92dd3684c04e368 100644 --- a/reusablecfg/src/main/jastadd/SimpleCFG.jrag +++ b/reusablecfg/src/main/jastadd/SimpleCFG.jrag @@ -120,7 +120,7 @@ aspect SimpleCFG { /** * The exit node in a filtered CFG. */ - syn nta CfgExit BodyDecl.exit() = new CfgExit(); + syn lazy CfgExit BodyDecl.exit() = new CfgExit(); eq Block.entry() { if (getNumStmt() > 0) { @@ -678,7 +678,7 @@ aspect SimpleCFG { eq BlockLambdaBody.entry() = new CfgEntry(getBlock().entry()); eq ExprLambdaBody.entry() = new CfgEntry(getExpr().entry()); - syn nta CfgExit LambdaBody.exit() = new CfgExit(); + syn lazy CfgExit LambdaBody.exit() = new CfgExit(); eq BlockLambdaBody.getBlock().follow() = exit(); eq ExprLambdaBody.getExpr().follow() = exit();