src/Pure/Thy/thy_info.ML

   in schedule_tasks tasks end;
 
 fun use_thy name =
   use_theories
     {document = false, symbols = HTML.no_symbols, last_timing = K Time.zeroTime,
-     qualifier = Resources.default_qualifier (), master_dir = Path.current}
+     qualifier = Resources.default_qualifier, master_dir = Path.current}
     [(name, Position.none)];
 
 
 (* toplevel scripting -- without maintaining database *)