Skip to content

Commit d81a8db

Browse files
jrr6jrr6
committed
pre-stage0 commit: move error explanations to separate branch
1 parent a3e4470 commit d81a8db

File tree

2 files changed

+0
-374
lines changed

2 files changed

+0
-374
lines changed

‎src/Lean.lean‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,4 +41,3 @@ import Lean.PrivateName
4141
import Lean.PremiseSelection
4242
import Lean.Namespace
4343
import Lean.EnvExtension
44-
import Lean.ErrorExplanation

‎src/Lean/ErrorExplanation.lean‎

Lines changed: 0 additions & 373 deletions
This file was deleted.

0 commit comments

Comments
 (0)