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"