Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_syntax.scala
changeset 44443 35d67b2056cc
parent 44436 546adfa8a6fc
child 44473 4f264fdf8d0e 
--- a/src/Pure/Thy/thy_syntax.scala	Wed Aug 24 16:27:27 2011 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Wed Aug 24 16:49:48 2011 +0200
@@ -232,7 +232,7 @@
       edits foreach {
         case (name, Document.Node.Clear()) =>
           doc_edits += (name -> Document.Node.Clear())
-          nodes -= name
+          nodes += (name -> nodes(name).clear)
 
         case (name, Document.Node.Edits(text_edits)) =>
           val node = nodes(name)
isabelle