diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/list/compiler.lst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index e693dccb87..7d0b64525d 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -108,9 +108,13 @@ transformer/matching/NondetWordAutom.java transformer/matching/Autom2Scala.java transformer/matching/WordAutomInScala.java #transformer/matching/SequenceMatcher.java +#transformer/matching/RightTracerInScala.java +#transformer/matching/LeftTracerInScala.java transformer/matching/PatternNode.java transformer/matching/PatternNodeCreator.java transformer/matching/PatternTool.java +transformer/matching/VariableTraverser.java +transformer/matching/CollectVariableTraverser.java typechecker/Analyzer.java typechecker/AnalyzerPhase.java |