diff -r e7cbfe240078 -r 149d2bc5ddb6 src/Pure/PIDE/session.ML
--- a/src/Pure/PIDE/session.ML	Mon Jan 26 13:44:37 2015 +0100
+++ b/src/Pure/PIDE/session.ML	Mon Jan 26 13:48:29 2015 +0100
@@ -52,8 +52,7 @@
       val _ = session_finished := false;
     in
       Present.init build info info_path (if doc = "false" then "" else doc)
-        doc_output doc_variants doc_files graph_file (chapter, name)
-        verbose (map Thy_Info.get_theory (Thy_Info.get_names ()))
+        doc_output doc_variants doc_files graph_file (chapter, name) verbose
     end;