fix

metamath · Jul 30, 2024 · 716577c · 716577c
1 parent f9a940d
commit 716577c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/metamath-knife/src/main.rs b/metamath-knife/src/main.rs
@@ -179,7 +179,7 @@ fn main() {
         }
 
         #[cfg(feature = "xml")]
-        if let Some(file) = cli.export_graphml_deps {
+        if let Some(file) = &cli.export_graphml_deps {
             File::create(file)
                 .map_err(|err| err.into())
                 .and_then(|file| db.export_graphml_deps(&mut BufWriter::new(file)))