diff options
Diffstat (limited to 'config/list')
-rw-r--r-- | config/list/library.lst | 1 | ||||
-rw-r--r-- | config/list/scalac.lst | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index a82958e12d..1a5787aa71 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -159,6 +159,7 @@ runtime/matching/TestAlphabet.scala runtime/matching/Matcher.scala runtime/matching/NonTerm.scala runtime/matching/PatternGrammar.scala +runtime/matching/PatternTests.scala #runtime/matching/Pebble.scala runtime/matching/Rule.scala diff --git a/config/list/scalac.lst b/config/list/scalac.lst index a79a2fc7d9..a4bfe6d4e4 100644 --- a/config/list/scalac.lst +++ b/config/list/scalac.lst @@ -190,7 +190,6 @@ transformer/TransMatchPhase.scala transformer/UnCurry.scala transformer/UnCurryPhase.scala transformer/matching/FullRegularTranslator.scala -transformer/matching/GrammarTool.scala transformer/matching/MutableGrammar.scala transformer/matching/NonTermFactory.scala transformer/matching/PatternExp.scala |