src/Pure/Thy/thy_syntax.scala
changeset 44443 35d67b2056cc
parent 44436 546adfa8a6fc
child 44473 4f264fdf8d0e
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Wed Aug 24 16:27:27 2011 +0200
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Wed Aug 24 16:49:48 2011 +0200
     1.3 @@ -232,7 +232,7 @@
     1.4        edits foreach {
     1.5          case (name, Document.Node.Clear()) =>
     1.6            doc_edits += (name -> Document.Node.Clear())
     1.7 -          nodes -= name
     1.8 +          nodes += (name -> nodes(name).clear)
     1.9  
    1.10          case (name, Document.Node.Edits(text_edits)) =>
    1.11            val node = nodes(name)