From a6cf957c682381dc4c6093137346b1116ad83b6d Mon Sep 17 00:00:00 2001 From: TomAFrench Date: Thu, 17 Oct 2024 18:46:51 +0000 Subject: [PATCH] fix: add meta attributes to `custom_attributes` --- compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs b/compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs index aca0a6dd6c..c41e56ffa3 100644 --- a/compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs +++ b/compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs @@ -2249,7 +2249,7 @@ fn function_def_add_attribute( } } - if let Attribute::Secondary(SecondaryAttribute::Tag(attribute)) = attribute { + if let Attribute::Secondary(SecondaryAttribute::Tag(attribute) ) = attribute { let func_meta = interpreter.elaborator.interner.function_meta_mut(&func_id); func_meta.custom_attributes.push(attribute); }