755: Fix this anchor r=korken89 a=datdenkikniet



Co-authored-by: datdenkikniet <jcdra1@gmail.com>
This commit is contained in:
bors[bot] 2023-05-23 18:26:47 +00:00 committed by GitHub
commit 1e4977152a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -61,7 +61,7 @@ mod app {
} }
// ANCHOR_END: timeout_after_basic // ANCHOR_END: timeout_after_basic
// ANCHOR: timeout_at // ANCHOR: timeout_at_basic
// get the current time instance // get the current time instance
let mut instant = Systick::now(); let mut instant = Systick::now();
@ -80,7 +80,7 @@ mod app {
_ => hprintln!("timeout"), _ => hprintln!("timeout"),
} }
} }
// ANCHOR_END: timeout_at // ANCHOR_END: timeout_at_basic
debug::exit(debug::EXIT_SUCCESS); debug::exit(debug::EXIT_SUCCESS);
} }