From 73e2e5d157d5b4f6fcf5e15a9f460acb3e2736b4 Mon Sep 17 00:00:00 2001 From: Pratik Fegade Date: Mon, 10 Nov 2025 12:18:50 -0800 Subject: [PATCH] [NKIFE-465] Enable tracing of nki.isa APIs --- KLR/Trace/Term.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/KLR/Trace/Term.lean b/KLR/Trace/Term.lean index e1df1e1e..e6b8092f 100644 --- a/KLR/Trace/Term.lean +++ b/KLR/Trace/Term.lean @@ -676,7 +676,6 @@ def builtinEnv : List (Name × Term) := Id.run do let fn := .builtin name none let names : List Name := match name with | .str `builtin.python n => [.str `builtins n, .str .anonymous n] - | .str `builtin.isa n => [nisa n, name] | .str `builtin.typing n => [nt n, name] | .str `builtin.lang n => [nl n, name] | _ => [name]