From 0fe98ae923acf24a1a2ee7302f57960612290770 Mon Sep 17 00:00:00 2001 From: Paul Schoenfelder Date: Fri, 22 Sep 2023 16:48:11 -0400 Subject: [PATCH] doc: note tracking issue for link-time gc --- hir/src/program/linker.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hir/src/program/linker.rs b/hir/src/program/linker.rs index de85ce363..3d3555ed0 100644 --- a/hir/src/program/linker.rs +++ b/hir/src/program/linker.rs @@ -511,7 +511,7 @@ impl Linker { /// If a library is being linked, this function is a no-op, as it is not known what will /// be needed at runtime once used in the context of a program. fn garbage_collect(&mut self) { - // TODO: + // TODO: See https://github.com/0xPolygonMiden/miden-ir/issues/26 } }