src/Pure/ML/ml_env.ML

     allSig       = all #5 #allSig,
     allFunct     = all #6 #allFunct}
   end;
 
 val local_context: use_context =
- {tune_source = ML_Parse.fix_ints,
-  name_space = name_space {SML = false, exchange = false},
+ {name_space = name_space {SML = false, exchange = false},
   str_of_pos = Position.here oo Position.line_file,
   print = writeln,
   error = error};
 
 val local_name_space = #name_space local_context;