diff options
-rw-r--r-- | config/list/nsc.lst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/list/nsc.lst b/config/list/nsc.lst index 2a31b81adb..bc6a717c93 100644 --- a/config/list/nsc.lst +++ b/config/list/nsc.lst @@ -25,12 +25,12 @@ ast/parser/TreeBuilder.scala matching/AlgebraicMatchers.scala matching/Autom2Scala.scala -matching/BerrySethi.scala +matching/BerrySethis.scala matching/CodeFactory.scala matching/DetWordAutom.scala matching/LeftTracerInScala.scala matching/MatcherLabels.scala -matching/NondetWordAutom.scala +matching/NondetWordAutoms.scala matching/Npair.scala matching/PatternMatchers.scala matching/PatternNodeCreator.scala |