perf: no need to track env refcount

leanprover · Aug 27, 2024 · 83f718b · 83f718b
1 parent d684d59
commit 83f718b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean
@@ -13,7 +13,7 @@ namespace DocGen4
 open Lean System IO
 
 def envOfImports (imports : Array Name) : IO Environment := do
- importModules (imports.map (Import.mk · false)) Options.empty
+ importModules (imports.map (Import.mk · false)) Options.empty (leakEnv := true)
 
 def loadInit (imports : Array Name) : IO Hierarchy := do
  let env ← envOfImports imports