From c940719dfef6fea85cbf88aed6ff14fe7793656c Mon Sep 17 00:00:00 2001 From: felipegchi Date: Mon, 30 Jan 2023 12:48:43 -0300 Subject: [PATCH] fix: kdl inlinining that caused some problems on flattening --- crates/kind-pass/src/inline/mod.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/kind-pass/src/inline/mod.rs b/crates/kind-pass/src/inline/mod.rs index 0bf3b8f1..0b4c8a95 100644 --- a/crates/kind-pass/src/inline/mod.rs +++ b/crates/kind-pass/src/inline/mod.rs @@ -46,6 +46,7 @@ pub fn inline_book(book: &mut untyped::Book) { for name in &to_remove { book.entrs.remove(name); + book.names.remove(name); } let mut state = InlineState { funs };