diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/library.lst | 6 | ||||
-rw-r--r-- | config/list/scalac.lst | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 169271cc04..94550fa44e 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -151,10 +151,10 @@ runtime/matching/Address.scala #runtime/matching/Grammar.scala #runtime/matching/Match.scala #runtime/matching/Matcher.scala -#runtime/matching/NonTerm.scala +runtime/matching/NonTerm.scala runtime/matching/PatternGrammar.scala #runtime/matching/Pebble.scala -#runtime/matching/Rule.scala +runtime/matching/Rule.scala testing/UnitTest.scala @@ -166,6 +166,8 @@ util/alphabet/WildcardLabel.scala util/automata/NondetWordAutom.scala util/automata/BaseBerrySethi.scala util/automata/WordBerrySethi.scala +util/grammar/TreeRHS.scala +util/grammar/HedgeRHS.scala util/grammar/TreeHedgeGrammar.scala util/grammar/ImmutableTreeHedgeGrammar.scala util/grammar/MutableTreeHedgeGrammar.scala diff --git a/config/list/scalac.lst b/config/list/scalac.lst index 71c7cfaba8..7890f04b9d 100644 --- a/config/list/scalac.lst +++ b/config/list/scalac.lst @@ -27,7 +27,7 @@ transformer/UnCurry.scala transformer/UnCurryPhase.scala #transformer/matching/FullRegularTranslator.scala #transformer/matching/GrammarTool.scala -#transformer/matching/MutableGrammar.scala +transformer/matching/MutableGrammar.scala transformer/matching/PatternExp.scala transformer/matching/PatternTest.scala #transformer/matching/PatternInfo.scala |