src/Pure/Tools/dump.scala

--- a/src/Pure/Tools/dump.scala	Thu Dec 27 17:15:40 2018 +0100
+++ b/src/Pure/Tools/dump.scala	Fri Dec 28 16:58:27 2018 +0100
@@ -88,7 +88,7 @@
 
     val deps =
       Sessions.load_structure(dump_options, dirs = dirs, select_dirs = select_dirs).
-        selection_deps(selection)
+        selection_deps(dump_options, selection, uniform_session = true, loading_sessions = true)
 
     val include_sessions =
       deps.sessions_structure.imports_topological_order