src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Wed Nov 20 15:00:25 2013 +0100
+++ b/src/Pure/PIDE/document.scala	Wed Nov 20 15:53:59 2013 +0100
@@ -257,7 +257,7 @@
       (for {
         (_, node) <- entries
         cmd <- node.thy_load_commands.iterator
-        Exn.Res((name, _)) <- cmd.blobs.iterator
+        name <- cmd.blobs_names.iterator
         if name == file_name
       } yield cmd).toList