var name

leanprover-community · Sep 5, 2024 · 96e69cb · 96e69cb
1 parent 940ea61
commit 96e69cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean
@@ -154,8 +154,8 @@ def importGraphCLI (args : Cli.Parsed) : IO UInt32 := do
       let graph₂ := match args.flag? "to" with
         | none => graph.filter (fun n _ => n != to)
         | some _ => graph
-      let gexFile := Graph.toGexf graph₂ p env
-      outFiles := outFiles.insert "gexf" gexFile
+      let gexfFile := Graph.toGexf graph₂ p env
+      outFiles := outFiles.insert "gexf" gexfFile
     return outFiles
 
   catch err =>