diff options
Diffstat (limited to 'config/list')
-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 c0612d7d6a..fae335761d 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -194,6 +194,7 @@ util/automata/BaseBerrySethi.scala util/automata/DetWordAutom.scala util/automata/Inclusion.scala util/automata/NondetWordAutom.scala +util/automata/SubsetConstruction.scala util/automata/WordBerrySethi.scala util/grammar/HedgeRHS.scala #util/grammar/ImmutableTreeHedgeGrammar.scala |