diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/library.lst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 69314a30c0..73c2cb8f5b 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -147,6 +147,7 @@ runtime/matching/Address.scala runtime/matching/Context.scala runtime/matching/Grammar.scala runtime/matching/Match.scala +runtime/matching/Matcher.scala runtime/matching/NonTerm.scala runtime/matching/Pebble.scala runtime/matching/Rule.scala |