From 6f6566058327f3003330dd3fe2dd5c03270e7eda Mon Sep 17 00:00:00 2001 From: buraq Date: Tue, 15 Jul 2003 10:09:59 +0000 Subject: added TracerInScala (refactoring) --- config/list/compiler.lst | 1 + 1 file changed, 1 insertion(+) (limited to 'config') 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 -- cgit v1.2.3