src/Pure/Thy/sessions.scala
changeset 65532 febfd9f78bd4
parent 65528 d15d302da7f0
child 65540 2b73ed8bf4d9
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -150,7 +150,7 @@
     1.4                parent_base.copy(known =
     1.5                  Known.make(info.dir, parent_base :: info.imports.map(session_bases(_)), Nil))
     1.6  
     1.7 -            val resources = new Resources(imports_base, default_qualifier = info.theory_qualifier)
     1.8 +            val resources = new Resources(imports_base)
     1.9  
    1.10              if (verbose || list_files) {
    1.11                val groups =