diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/compiler.lst | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index 0a87c64f9d..208f6eb854 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -97,21 +97,25 @@ transformer/UnCurry.java transformer/UnCurryPhase.java transformer/matching/Autom2Scala.java +transformer/matching/BindingBerrySethi.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/FreshVariableTraverser.java transformer/matching/Label.java -#transformer/matching/LeftTracerInScala.java +transformer/matching/LeftTracerInScala.java transformer/matching/NondetWordAutom.java +transformer/matching/NoSeqVariableTraverser.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/RightTracerInScala.java +transformer/matching/SequenceMatcher.java +transformer/matching/SplitNested.java transformer/matching/StateSetComparator.java transformer/matching/VariableTraverser.java transformer/matching/WordAutomInScala.java |