From 83f718b9055972dce4f92f5b3917426b91a0d2fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Tue, 27 Aug 2024 23:50:26 +0200 Subject: [PATCH] perf: no need to track env refcount --- DocGen4/Load.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean index 03152ad1..260cc56b 100644 --- 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