diff options
| author | buraq <buraq@epfl.ch> | 2004-07-15 13:55:48 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2004-07-15 13:55:48 +0000 |
| commit | 7262baec370903060f83f300a948b659f5718764 (patch) | |
| tree | 84271686b1c0f4ac966688e678dbfdbf1115014a /config | |
| parent | 755fcb9a66ffa4c8af4720a61cf9f84c4a1b3097 (diff) | |
| download | scala-7262baec370903060f83f300a948b659f5718764.tar.gz scala-7262baec370903060f83f300a948b659f5718764.tar.bz2 scala-7262baec370903060f83f300a948b659f5718764.zip | |
new matcher works again
Diffstat (limited to 'config')
| -rw-r--r-- | config/list/library.lst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 94550fa44e..2200a49e59 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -147,10 +147,11 @@ runtime/RunTime.java runtime/ScalaRunTime.scala runtime/matching/Address.scala +runtime/matching/TestAlphabet.scala #runtime/matching/Context.scala #runtime/matching/Grammar.scala #runtime/matching/Match.scala -#runtime/matching/Matcher.scala +runtime/matching/Matcher.scala runtime/matching/NonTerm.scala runtime/matching/PatternGrammar.scala #runtime/matching/Pebble.scala @@ -160,7 +161,6 @@ testing/UnitTest.scala util/alphabet/Alphabet.scala util/alphabet/AlphabetPlusWildcard.scala -util/alphabet/IntAlphabet.scala util/alphabet/WildcardLabel.scala #util/automata/NondetTreeHedgeAutom.scala util/automata/NondetWordAutom.scala |