diff --git a/src/Lean.lean b/src/Lean.lean
index dd3eccd7e9..bcd0979df1 100644
--- a/src/Lean.lean
+++ b/src/Lean.lean
@@ -37,3 +37,4 @@ import Lean.Linter
 import Lean.SubExpr
 import Lean.LabelAttribute
 import Lean.AddDecl
+import Lean.Replay