# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1711634938 -3600
# Node ID 68f6b29ae06692ff5b5287583cefb35e21d65851
# Parent  87f90735e6dda1a0a0c393057b8221e7556d96ad
tuned;

diff -r 87f90735e6dd -r 68f6b29ae066 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 {