src/Pure/Tools/update_imports.scala
changeset 65532 febfd9f78bd4
parent 65526 41dda3a292e6
child 65533 4a7e794944df
     1.1 --- a/src/Pure/Tools/update_imports.scala	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/Tools/update_imports.scala	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -68,7 +68,7 @@
     1.4      {
     1.5        val info = full_sessions(session_name)
     1.6        val session_base = deps(session_name)
     1.7 -      val resources = new Resources(session_base, default_qualifier = info.theory_qualifier)
     1.8 +      val resources = new Resources(session_base)
     1.9        val local_theories = session_base.known.theories_local.iterator.map(_._2).toSet
    1.10  
    1.11        def standard_import(qualifier: String, s: String): String =