author | Fabian Huch <huch@in.tum.de> |
Thu, 28 Mar 2024 15:08:58 +0100 | |
changeset 80058 | 68f6b29ae066 |
parent 80057 | 87f90735e6dd |
child 80059 | 37ea0727291f |
--- 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 {