Skip to content

Commit 540aa23

Browse files
committed
Remove no longer needed Skolemization.scala
1 parent 91dd827 commit 540aa23

File tree

1 file changed

+0
-145
lines changed

1 file changed

+0
-145
lines changed

src/dotty/tools/dotc/core/Skolemization.scala

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

0 commit comments

Comments
 (0)