diff --git a/src/compile/RuleCompiler.java b/src/compile/RuleCompiler.java index a4897dc8..1705f440 100644 --- a/src/compile/RuleCompiler.java +++ b/src/compile/RuleCompiler.java @@ -397,9 +397,7 @@ private void compile_r() throws CompileException { buildRHSMem(rs.rightMem); /* 右辺の$pが配置された直後。このタイミングでなければならない筈 */ - if (!rs.rightMem.processContexts.isEmpty()) { - body.add(new Instruction(Instruction.REMOVETEMPORARYPROXIES, toplevelmemid)); - } + body.add(new Instruction(Instruction.REMOVETEMPORARYPROXIES, toplevelmemid)); copyRules(rs.rightMem); loadRulesets(rs.rightMem); buildRHSTypedProcesses(); @@ -478,9 +476,7 @@ private void compile_r_swaplink() throws CompileException { buildRHSMem(rs.rightMem); // 右辺にある膜の変数番号確定 /* 右辺の$pが配置された直後。このタイミングでなければならない筈 */ - if (!rs.rightMem.processContexts.isEmpty()) { - body.add(new Instruction(Instruction.REMOVETEMPORARYPROXIES, toplevelmemid)); - } + body.add(new Instruction(Instruction.REMOVETEMPORARYPROXIES, toplevelmemid)); copyRules(rs.rightMem); loadRulesets(rs.rightMem); buildRHSTypedProcesses();