diff --git a/fuzzers/FRET/src/fuzzer.rs b/fuzzers/FRET/src/fuzzer.rs index 92eb24ab01..13bfd2ee3e 100644 --- a/fuzzers/FRET/src/fuzzer.rs +++ b/fuzzers/FRET/src/fuzzer.rs @@ -105,7 +105,7 @@ macro_rules! do_dump_stg { let dump_path = $cli.dump_name.clone().unwrap().with_extension(if $c=="" {"dot"} else {$c}); println!("Dumping graph to {:?}", &dump_path); let tcb_index = $state.metadata::().unwrap().tcb_index().clone(); - if let Some(md) = $state.named_metadata_map_mut().get_mut::>("stgfeedbackstate") { + if let Ok(md) = $state.metadata_mut::>() { let out = md.graph.map(|_i,x| x.color_print(&md.systemstate_index, &tcb_index), |_i,x| x.color_print()); let outs = Dot::with_config(&out, &[]).to_string(); let outs = outs.replace("\\\"","\"");