diff options
-rw-r--r-- | sources/scala/tools/nsc/matching/BerrySethis.scala (renamed from sources/scala/tools/nsc/matching/BerrySethi.scala) | 0 | ||||
-rw-r--r-- | sources/scala/tools/nsc/matching/NondetWordAutoms.scala (renamed from sources/scala/tools/nsc/matching/NondetWordAutom.scala) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/sources/scala/tools/nsc/matching/BerrySethi.scala b/sources/scala/tools/nsc/matching/BerrySethis.scala index 4e774ad94e..4e774ad94e 100644 --- a/sources/scala/tools/nsc/matching/BerrySethi.scala +++ b/sources/scala/tools/nsc/matching/BerrySethis.scala diff --git a/sources/scala/tools/nsc/matching/NondetWordAutom.scala b/sources/scala/tools/nsc/matching/NondetWordAutoms.scala index cd1d8b576e..cd1d8b576e 100644 --- a/sources/scala/tools/nsc/matching/NondetWordAutom.scala +++ b/sources/scala/tools/nsc/matching/NondetWordAutoms.scala |