From 18b44350ef5670d58504462395dbdb6ca082f8bc Mon Sep 17 00:00:00 2001 From: buraq Date: Tue, 16 Nov 2004 16:21:13 +0000 Subject: fix --- config/list/library.lst | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'config/list') diff --git a/config/list/library.lst b/config/list/library.lst index 04e69f5761..b87b14ad94 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -159,9 +159,9 @@ runtime/RunTime.java runtime/ScalaRunTime.scala runtime/matching/Address.scala -runtime/matching/Matcher.scala +#runtime/matching/Matcher.scala runtime/matching/NonTerm.scala -runtime/matching/PatternGrammar.scala +#runtime/matching/PatternGrammar.scala runtime/matching/PatternTests.scala runtime/matching/Rule.scala runtime/matching/TestAlphabet.scala @@ -195,9 +195,9 @@ util/automata/DetWordAutom.scala util/automata/NondetWordAutom.scala util/automata/WordBerrySethi.scala util/grammar/HedgeRHS.scala -util/grammar/ImmutableTreeHedgeGrammar.scala -util/grammar/MutableTreeHedgeGrammar.scala -util/grammar/TreeHedgeGrammar.scala +#util/grammar/ImmutableTreeHedgeGrammar.scala +#util/grammar/MutableTreeHedgeGrammar.scala +#util/grammar/TreeHedgeGrammar.scala util/grammar/TreeRHS.scala util/regexp/Base.scala util/regexp/PointedHedgeExp.scala -- cgit v1.2.3