From 9620cb1b90ada294dda381603752a42c5bdeece5 Mon Sep 17 00:00:00 2001
From: Cameron Zwarich <cameron@lean-fro.org>
Date: Tue, 8 Jul 2025 18:41:04 -0700
Subject: [PATCH] =?UTF-8?q?chore:=20have=20shell.cpp=20use=20library/util.?=
 =?UTF-8?q?h=20rather=20than=20library/compiler=E2=80=A6=20(#9269)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/util/shell.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/shell.cpp b/src/util/shell.cpp
index 0f18cde0e2..bfa3d6116e 100644
--- a/src/util/shell.cpp
+++ b/src/util/shell.cpp
@@ -35,7 +35,7 @@ Author: Leonardo de Moura
 #include "library/formatter.h"
 #include "library/module.h"
 #include "library/time_task.h"
-#include "library/compiler/ir.h"
+#include "library/util.h"
 #include "library/print.h"
 #include "initialize/init.h"
 #include "library/ir_interpreter.h"