src/Pure/General/linear_set.scala

--- a/src/Pure/General/linear_set.scala	Tue Mar 25 15:53:54 2025 +0100
+++ b/src/Pure/General/linear_set.scala	Tue Mar 25 21:24:39 2025 +0100
@@ -37,10 +37,12 @@
 final class Linear_Set[A] private(
     start: Option[A],
     end: Option[A],
-    val nexts: Map[A, A], prevs: Map[A, A])
-  extends Iterable[A]
+    nexts: Map[A, A],
+    prevs: Map[A, A]
+) extends Iterable[A]
     with SetOps[A, Linear_Set, Linear_Set[A]]
     with IterableFactoryDefaults[A, Linear_Set] {
+
   /* relative addressing */
 
   def next(elem: A): Option[A] =