diff -r 3ff88fece1f6 -r ecefb68dc21d src/Pure/PIDE/document.scala
--- 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)