Skip to content

Commit 1bb6703

Browse files
committed
Remove no longer needed Skolemization.scala
1 parent 0e44254 commit 1bb6703

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)