chore: import orphaned Lean.Replay (#5693)

As noticed on [zulip](https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.E2.9C.94.20Reverse.20FFI.20undefined.20reference.20for.20mathlib/near/475824204).
leanprover · Oct 14, 2024 · 225e089 · 225e089
1 parent 7fd2aa0
commit 225e089
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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