# HG changeset patch
# User wenzelm
# Date 1273496411 -7200
# Node ID a991deb77cbbeaf6a00541805da617958f1ffa1a
# Parent  7bf87d844f28c4290ad2c024d5ed49e01ceed026
adapted to scala-2.8.0.RC2;

diff -r 7bf87d844f28 -r a991deb77cbb src/Pure/General/linear_set.scala
--- a/src/Pure/General/linear_set.scala	Mon May 10 09:54:41 2010 +0200
+++ b/src/Pure/General/linear_set.scala	Mon May 10 15:00:11 2010 +0200
@@ -8,10 +8,11 @@
 package isabelle
 
 import scala.collection.SetLike
-import scala.collection.generic.{SetFactory, CanBuildFrom, GenericSetTemplate, GenericCompanion}
+import scala.collection.generic.{ImmutableSetFactory, CanBuildFrom,
+  GenericSetTemplate, GenericCompanion}
 
 
-object Linear_Set extends SetFactory[Linear_Set]
+object Linear_Set extends ImmutableSetFactory[Linear_Set]
 {
   private case class Rep[A](
     val start: Option[A], val end: Option[A], val nexts: Map[A, A], prevs: Map[A, A])