From 90265c03ad53354af23615925c88afda6fc87f6b Mon Sep 17 00:00:00 2001 From: Craig Roy Date: Mon, 23 Oct 2023 13:54:46 +0100 Subject: [PATCH] [refactor] Default to open extensions in branch of any_block_builder --- src/builder/cfg.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/builder/cfg.rs b/src/builder/cfg.rs index eb168082e..979906fb2 100644 --- a/src/builder/cfg.rs +++ b/src/builder/cfg.rs @@ -146,8 +146,8 @@ impl + AsRef> CFGBuilder { // TODO: Make extensions a parameter self.hugr_mut().add_op_before(exit, op) } else { - // TODO: Make extensions a parameter - self.hugr_mut().add_op_with_parent(parent, op) + self.hugr_mut() + .add_node_with_parent(parent, NodeType::open_extensions(op)) }?; BlockBuilder::create(