diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/compiler.lst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/list/compiler.lst b/config/list/compiler.lst index 5d338698ef..8f3f399a29 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -105,7 +105,7 @@ transformer/matching/StateSetComparator.java transformer/matching/DetWordAutom.java transformer/matching/FiniteAutom.java transformer/matching/NondetWordAutom.java -#transformer/matching/Autom2Scala.java +transformer/matching/Autom2Scala.java #transformer/matching/WordAutomInScala.java #transformer/matching/SequenceMatcher.java transformer/matching/PatternNode.java |