src/Pure/System/session.scala
changeset 38374 7eb0f6991e25
parent 38373 e8197eea3cd0
child 38413 224efb14f258
     1.1 --- a/src/Pure/System/session.scala	Sat Aug 14 11:52:24 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sat Aug 14 12:01:50 2010 +0200
     1.3 @@ -343,7 +343,7 @@
     1.4                isabelle.Future.fork {
     1.5                  val old_doc = prev.join
     1.6                  val former_assignment = current_state().the_assignment(old_doc).join  // FIXME async!?
     1.7 -                Document.text_edits(Session.this, old_doc, edits)
     1.8 +                Thy_Syntax.text_edits(Session.this, old_doc, edits)
     1.9                }
    1.10              val new_change = new Document.Change(prev, edits, result)
    1.11              history ::= new_change