diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/compiler.lst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index 216dcc01f0..29a15f09a7 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -113,7 +113,6 @@ 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/TracerInScala.java |