changeset 65361 | ecefb68dc21d |
parent 65357 | 9a2c266f97c8 |
child 65409 | ad9e2c1665b6 |
--- a/src/Pure/PIDE/document.scala Mon Apr 03 16:50:44 2017 +0200 +++ b/src/Pure/PIDE/document.scala Mon Apr 03 17:00:36 2017 +0200 @@ -504,7 +504,7 @@ case None => List( Node.Deps( - if (session.resources.base.loaded_theory(node_name)) + if (session.resources.session_base.loaded_theory(node_name)) node_header.error("Cannot update finished theory " + quote(node_name.theory)) else node_header), Node.Edits(text_edits), perspective)