src/Pure/ML-Systems/smlnj.ML

   (case OS.Process.getEnv var of
     NONE => ""
   | SOME txt => txt);
 
 
-(* non-ASCII input (see also Thy/symbol_input.ML) *)
+(* non-ASCII input (see also Thy/use.ML) *)
 
 val needs_filtered_use = false;