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 /config | |
| parent | 697691c3b3426349bb052a2b069a95259609d222 (diff) | |
| download | scala-6f6566058327f3003330dd3fe2dd5c03270e7eda.tar.gz scala-6f6566058327f3003330dd3fe2dd5c03270e7eda.tar.bz2 scala-6f6566058327f3003330dd3fe2dd5c03270e7eda.zip | |
added TracerInScala (refactoring)
Diffstat (limited to 'config')
| -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 |