From 63974e44d81e8d6f6b8565590b24454eece49870 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Cerveau?= Date: Wed, 11 Sep 2024 16:13:21 +0200 Subject: [PATCH] rust: update to rustc 1.81.0 --- src/graphmanager/graphview.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/graphmanager/graphview.rs b/src/graphmanager/graphview.rs index 480d4b4..fa6e545 100644 --- a/src/graphmanager/graphview.rs +++ b/src/graphmanager/graphview.rs @@ -1266,7 +1266,7 @@ impl GraphView { if let Some(id) = attrs.get::(&String::from("id")) { self.set_id(id.parse::().expect("id should be an u32")); } - if let Some(version) = attrs.get::(&"version".to_string()) { + if let Some(version) = attrs.get::(&String::from("version")) { info!("Found file format version: {}", version); } else { warn!("No file format version found");