# HG changeset patch
# User wenzelm
# Date 1305210526 -7200
# Node ID d7b2625c11934b84cf023fe13be603741d6998ed
# Parent  0bbb5686709179a174b57aacf248054363a4f546
minor adaption for scala-2.9.0.final;

diff -r 0bbb56867091 -r d7b2625c1193 src/Pure/General/linear_set.scala
--- a/src/Pure/General/linear_set.scala	Thu May 12 16:23:13 2011 +0200
+++ b/src/Pure/General/linear_set.scala	Thu May 12 16:28:46 2011 +0200
@@ -14,7 +14,7 @@
 
 object Linear_Set extends ImmutableSetFactory[Linear_Set]
 {
-  private case class Rep[A](
+  protected case class Rep[A](
     val start: Option[A], val end: Option[A], val nexts: Map[A, A], prevs: Map[A, A])
 
   private def empty_rep[A] = Rep[A](None, None, Map(), Map())
diff -r 0bbb56867091 -r d7b2625c1193 src/Pure/General/scan.scala
--- a/src/Pure/General/scan.scala	Thu May 12 16:23:13 2011 +0200
+++ b/src/Pure/General/scan.scala	Thu May 12 16:28:46 2011 +0200
@@ -22,7 +22,7 @@
 
   object Lexicon
   {
-    private case class Tree(val branches: Map[Char, (String, Tree)])
+    protected case class Tree(val branches: Map[Char, (String, Tree)])
     private val empty_tree = Tree(Map())
 
     val empty: Lexicon = new Lexicon