From 11e2dbd51c3241d890c8a980a011c0fa3e099011 Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Thu, 24 Sep 2020 19:10:09 -0400 Subject: [PATCH] Update README --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 55d3bef727f..1ebacfc26be 100644 --- a/README.md +++ b/README.md @@ -269,10 +269,11 @@ extern "Rust" { /// Miri-provided extern function to obtain a backtrace of the current call stack. /// This returns a boxed slice of pointers - each pointer is an opaque value /// that is only useful when passed to `miri_resolve_frame` - fn miri_get_backtrace() -> Box<[*mut ()]>; + /// The `flags` argument must be `0`. + fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>; /// Miri-provided extern function to resolve a frame pointer obtained - /// from `miri_get_backtrace`. The `version` argument must be `0`, + /// from `miri_get_backtrace`. The `flags` argument must be `0`, /// and `MiriFrame` should be declared as follows: /// /// ```rust -- 2.44.0