# HG changeset patch
# User wenzelm
# Date 1751106463 -7200
# Node ID 5afb8d0d418e251e2651fefe4a6294d3c8344af0
# Parent  ddb68e3058d3d5bf072b372fe9e9bd0d4b1105ff
eliminate odd workaround from Aug-2012 (see 393a37003851);

diff -r ddb68e3058d3 -r 5afb8d0d418e src/Pure/Thy/thy_syntax.scala
--- a/src/Pure/Thy/thy_syntax.scala	Sat Jun 28 12:22:03 2025 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Sat Jun 28 12:27:43 2025 +0200
@@ -328,9 +328,7 @@
         var nodes = nodes0
         val doc_edits = mutable.ListBuffer.from(doc_edits0)
 
-        val node_edits =
-          (edits ::: reparse.map((_, Document.Node.Edits(Nil)))).groupBy(_._1)
-            .asInstanceOf[Map[Document.Node.Name, List[Document.Edit_Text]]]  // FIXME ???
+        val node_edits = (edits ::: reparse.map((_, Document.Node.Edits(Nil)))).groupBy(_._1)
 
         node_edits foreach {
           case (name, edits) =>