From 8e1863847fb5ceb857a770f8cb30253a623a9161 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 15 Sep 2025 13:39:20 +0000
Subject: [PATCH] fix graph dump

---
 fuzzers/FRET/src/fuzzer.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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