src/Pure/Thy/sessions.scala

   def session_base_info(
     options: Options,
     session: String,
     dirs: List[Path] = Nil,
     infos: List[Info] = Nil,
-    inlined_files: Boolean = false,
     all_known: Boolean = false,
     required_session: Boolean = false): Base_Info =
   {
     val full_sessions = load(options, dirs = dirs, infos = infos)
     val global_theories = full_sessions.global_theories
     val (_, selected_sessions) = full_sessions.selection(Selection(sessions = List(session)))
 
     val sessions: T = if (all_known) full_sessions else selected_sessions
-    val deps = Sessions.deps(sessions, global_theories, inlined_files = inlined_files)
+    val deps = Sessions.deps(sessions, global_theories)
     val base = if (all_known) deps(session).copy(known = deps.all_known) else deps(session)
 
     val other_session: Option[(String, List[Info])] =
       if (required_session && !is_pure(session)) {
         val info = sessions(session)

       else None
 
     other_session match {
       case None => new Base_Info(session, sessions, deps, base, infos)
       case Some((other_name, more_infos)) =>
-        session_base_info(options, other_name, dirs = dirs, infos = more_infos ::: infos,
-          inlined_files = inlined_files, all_known = all_known)
+        session_base_info(options, other_name,
+          dirs = dirs, infos = more_infos ::: infos, all_known = all_known)
     }
   }
 
   final class Base_Info private [Sessions](
     val session: String, val sessions: T, val deps: Deps, val base: Base, val infos: List[Info])