diff options
Diffstat (limited to 'config/list/compiler.lst')
-rw-r--r-- | config/list/compiler.lst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index fb9f43481a..677ed2baaa 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -109,6 +109,7 @@ transformer/matching/DetWordAutom.java transformer/matching/FiniteAutom.java transformer/matching/FreshVariableTraverser.java transformer/matching/Label.java +transformer/matching/TracerInScala.java transformer/matching/LeftTracerInScala.java transformer/matching/NondetWordAutom.java transformer/matching/NoSeqVariableTraverser.java |