src/Pure/Thy/thy_syntax.scala
changeset 64819 bebe7a164068
parent 64799 c0c648911f1a
child 64854 f5aa712e6250
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Sat Jan 07 15:16:36 2017 +0100
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Sat Jan 07 15:25:01 2017 +0100
     1.3 @@ -236,8 +236,6 @@
     1.4      }
     1.5  
     1.6      edit match {
     1.7 -      case (_, Document.Node.Clear()) => node.clear
     1.8 -
     1.9        case (_, Document.Node.Blob(blob)) => node.init_blob(blob)
    1.10  
    1.11        case (name, Document.Node.Edits(text_edits)) =>