From f675ee206268f93fa434da947b4e8a41a8518be8 Mon Sep 17 00:00:00 2001 From: Cameron Zwarich Date: Tue, 8 Jul 2025 11:09:20 -0700 Subject: [PATCH] chore: remove unnecessary include of ir_interpreter.h (#9262) --- src/library/elab_environment.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/elab_environment.cpp b/src/library/elab_environment.cpp index 10f32ee0d3..49ef3e6fe0 100644 --- a/src/library/elab_environment.cpp +++ b/src/library/elab_environment.cpp @@ -8,7 +8,6 @@ Authors: Leonardo de Moura, Sebastian Ullrich #include "kernel/type_checker.h" #include "kernel/kernel_exception.h" #include "library/elab_environment.h" -#include "library/compiler/ir_interpreter.h" namespace lean { /* updateBaseAfterKernelAdd (env : Environment) (base : Kernel.Environment) (decl : Declaration) : Environment