diff options
author | buraq <buraq@epfl.ch> | 2003-07-15 10:09:59 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2003-07-15 10:09:59 +0000 |
commit | 6f6566058327f3003330dd3fe2dd5c03270e7eda (patch) | |
tree | 56f2ff406c9ddb09cb2791c0ac03f3826b7a7917 | |
parent | 697691c3b3426349bb052a2b069a95259609d222 (diff) | |
download | scala-6f6566058327f3003330dd3fe2dd5c03270e7eda.tar.gz scala-6f6566058327f3003330dd3fe2dd5c03270e7eda.tar.bz2 scala-6f6566058327f3003330dd3fe2dd5c03270e7eda.zip |
added TracerInScala (refactoring)
-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 |