diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/compiler.lst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index 53ad42dd18..0a87c64f9d 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -100,15 +100,20 @@ transformer/matching/Autom2Scala.java transformer/matching/BerrySethi.java transformer/matching/CaseEnv.java transformer/matching/CodeFactory.java +transformer/matching/CollectVariableTraverser.java transformer/matching/DetWordAutom.java transformer/matching/FiniteAutom.java transformer/matching/Label.java +#transformer/matching/LeftTracerInScala.java transformer/matching/NondetWordAutom.java transformer/matching/PatternMatcher.java transformer/matching/PatternNode.java transformer/matching/PatternNodeCreator.java transformer/matching/PatternTool.java +#transformer/matching/RightTracerInScala.java +#transformer/matching/SequenceMatcher.java transformer/matching/StateSetComparator.java +transformer/matching/VariableTraverser.java transformer/matching/WordAutomInScala.java typechecker/Analyzer.java |