changeset 54517 | 044bee8c5e69 |
parent 54515 | 570ba266f5b5 |
child 54519 | 5fed81762406 |
--- a/src/Pure/Thy/thy_load.scala Tue Nov 19 13:13:51 2013 +0100 +++ b/src/Pure/Thy/thy_load.scala Tue Nov 19 13:39:12 2013 +0100 @@ -101,6 +101,6 @@ def text_edits(reparse_limit: Int, previous: Document.Version, edits: List[Document.Edit_Text]) : (List[Document.Edit_Command], Document.Version) = - Thy_Syntax.text_edits(base_syntax, reparse_limit, previous, edits) + Thy_Syntax.text_edits(this, reparse_limit, previous, edits) }