chore: import orphaned Lean.Replay

2026-03-21 12:24:11 +00:00 · 2024-10-14 12:12:01 +11:00
1 changed files with 1 additions and 0 deletions
--- 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