src/Pure/Thy/sessions.scala
changeset 66962 e1bde71bace6
parent 66960 d62f1f03868a
child 66963 1c3d0c12bb51
     1.1 --- a/src/Pure/Thy/sessions.scala	Tue Oct 31 17:03:57 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Tue Oct 31 17:15:49 2017 +0100
     1.3 @@ -171,12 +171,12 @@
     1.4    }
     1.5  
     1.6    def deps(sessions: T,
     1.7 +      global_theories: Map[String, String],
     1.8        progress: Progress = No_Progress,
     1.9        inlined_files: Boolean = false,
    1.10        verbose: Boolean = false,
    1.11        list_files: Boolean = false,
    1.12 -      check_keywords: Set[String] = Set.empty,
    1.13 -      global_theories: Map[String, String] = Map.empty): Deps =
    1.14 +      check_keywords: Set[String] = Set.empty): Deps =
    1.15    {
    1.16      var cache_sources = Map.empty[JFile, SHA1.Digest]
    1.17      def check_sources(paths: List[Path]): List[(Path, SHA1.Digest)] =
    1.18 @@ -330,8 +330,7 @@
    1.19      val (_, selected_sessions) = full_sessions.selection(Selection(sessions = List(session)))
    1.20  
    1.21      val sessions: T = if (all_known) full_sessions else selected_sessions
    1.22 -    val deps =
    1.23 -      Sessions.deps(sessions, inlined_files = inlined_files, global_theories = global_theories)
    1.24 +    val deps = Sessions.deps(sessions, global_theories, inlined_files = inlined_files)
    1.25      val base = if (all_known) deps(session).copy(known = deps.all_known) else deps(session)
    1.26      (deps.errors, base)
    1.27    }