From 96e69cb50830d1e2207f6313b66a0359b7917adb Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 5 Sep 2024 14:08:42 +0200
Subject: [PATCH] var name

---
 ImportGraph/Cli.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean
index a2b4996..763f8f7 100644
--- 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 =>