diff options
Diffstat (limited to '')
| -rw-r--r-- | third_party/rust/wast/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/rust/wast/src/lib.rs b/third_party/rust/wast/src/lib.rs index 7923a343b5..bb16574177 100644 --- a/third_party/rust/wast/src/lib.rs +++ b/third_party/rust/wast/src/lib.rs @@ -538,4 +538,5 @@ pub mod annotation { annotation!(name); annotation!(producers); annotation!(dylink_0 = "dylink.0"); + annotation!(metadata_code_branch_hint = "metadata.code.branch_hint"); } |