From 05d7f7c3b53dbd18251f64037ecbc5b49a762ff6 Mon Sep 17 00:00:00 2001 From: buraq Date: Fri, 4 Jul 2003 12:16:39 +0000 Subject: Stephane please do not delete commented lines, ... Stephane please do not delete commented lines, I need them --- config/list/compiler.lst | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'config/list/compiler.lst') diff --git a/config/list/compiler.lst b/config/list/compiler.lst index 53ad42dd18..0a87c64f9d 100644 --- a/config/list/compiler.lst +++ b/config/list/compiler.lst @@ -100,15 +100,20 @@ transformer/matching/Autom2Scala.java transformer/matching/BerrySethi.java transformer/matching/CaseEnv.java transformer/matching/CodeFactory.java +transformer/matching/CollectVariableTraverser.java transformer/matching/DetWordAutom.java transformer/matching/FiniteAutom.java transformer/matching/Label.java +#transformer/matching/LeftTracerInScala.java transformer/matching/NondetWordAutom.java transformer/matching/PatternMatcher.java transformer/matching/PatternNode.java transformer/matching/PatternNodeCreator.java transformer/matching/PatternTool.java +#transformer/matching/RightTracerInScala.java +#transformer/matching/SequenceMatcher.java transformer/matching/StateSetComparator.java +transformer/matching/VariableTraverser.java transformer/matching/WordAutomInScala.java typechecker/Analyzer.java -- cgit v1.2.3