diff --git a/src/kernel/replace_fn.h b/src/kernel/replace_fn.h
index 4e20833fc..ee0bc74d7 100644
--- a/src/kernel/replace_fn.h
+++ b/src/kernel/replace_fn.h
@@ -10,7 +10,6 @@ Author: Leonardo de Moura
 #include "util/interrupt.h"
 #include "kernel/expr.h"
 #include "kernel/expr_maps.h"
-#include "kernel/update_expr.h"
 
 namespace lean {
 /**