src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Fri Apr 21 13:51:43 2017 +0200
+++ b/src/Pure/Tools/build.ML	Fri Apr 21 14:09:03 2017 +0200
@@ -182,8 +182,7 @@
 
     val _ =
       Resources.init_session_base
-        {default_qualifier = name,
-         global_theories = global_theories,
+        {global_theories = global_theories,
          loaded_theories = loaded_theories,
          known_theories = known_theories};