src/Pure/Tools/build.ML
changeset 65532 febfd9f78bd4
parent 65517 1544e61e5314
child 65934 5f202ba9f590
     1.1 --- a/src/Pure/Tools/build.ML	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -182,8 +182,7 @@
     1.4  
     1.5      val _ =
     1.6        Resources.init_session_base
     1.7 -        {default_qualifier = name,
     1.8 -         global_theories = global_theories,
     1.9 +        {global_theories = global_theories,
    1.10           loaded_theories = loaded_theories,
    1.11           known_theories = known_theories};
    1.12