src/Pure/General/toml.scala

--- a/src/Pure/General/toml.scala	Thu Mar 28 16:40:57 2024 +0100
+++ b/src/Pure/General/toml.scala	Thu Mar 28 15:08:58 2024 +0100
@@ -88,7 +88,7 @@
     val empty: Array = apply()
   }
 
-  class Table private(private val rep: Map[Key, T]) extends T {
+  class Table private(private val rep: ListMap[Key, T]) extends T {
     override def hashCode(): Int = rep.hashCode()
     override def equals(that: Any): Bool =
       that match {