src/Pure/PIDE/session.scala

--- a/src/Pure/PIDE/session.scala	Thu Jan 05 16:16:18 2017 +0100
+++ b/src/Pure/PIDE/session.scala	Thu Jan 05 16:23:51 2017 +0100
@@ -297,6 +297,7 @@
       assignment |= assign
       for (command <- cmds) {
         nodes += command.node_name
+        command.blobs_names.foreach(nodes += _)
         commands += command
       }
       delay_flush.invoke()