--- a/src/Pure/PIDE/batch_session.scala Mon Jan 09 19:34:16 2017 +0100
+++ b/src/Pure/PIDE/batch_session.scala Mon Jan 09 20:26:59 2017 +0100
@@ -29,11 +29,7 @@
new RuntimeException
val deps = Build.dependencies(verbose = verbose, tree = session_tree)
- val resources =
- {
- val content = deps(parent_session)
- new Resources(content.loaded_theories, content.known_theories, content.syntax)
- }
+ val resources = new Resources(deps(parent_session))
val progress = new Console_Progress(verbose = verbose)