diff --git a/src/protocol/parser/pass_rewriting.rs b/src/protocol/parser/pass_rewriting.rs index a9f869d38c905cdbbe880ecdbd4bc522a8bf5b82..82702bd1056e5706249f1636604aba452aeb820c 100644 --- a/src/protocol/parser/pass_rewriting.rs +++ b/src/protocol/parser/pass_rewriting.rs @@ -49,6 +49,10 @@ impl Visitor for PassRewriting { fn visit_procedure_definition(&mut self, ctx: &mut Ctx, id: ProcedureDefinitionId) -> VisitorResult { let definition = &ctx.heap[id]; + if definition.source.is_builtin() { + return Ok(()); + } + let body_id = definition.body; self.current_scope = definition.scope; self.current_procedure_id = id;