changeset 65355 | 403eabd73c9a |
parent 65332 | 7dbb780f24a9 |
child 65356 | b96cf915de75 |
--- a/src/Pure/PIDE/document.scala Sat Apr 01 23:48:28 2017 +0200 +++ b/src/Pure/PIDE/document.scala Mon Apr 03 12:41:06 2017 +0200 @@ -503,7 +503,7 @@ case None => List( Document.Node.Deps( - if (session.resources.base.loaded_theories(node_name.theory)) + if (session.resources.base.loaded_theory(node_name)) node_header.error("Cannot update finished theory " + quote(node_name.theory)) else node_header), Document.Node.Edits(text_edits), perspective)