src/Pure/General/binding.ML

       [Pretty.str (Long_Name.implode (map #1 (prefix @ qualifier) @ [name]))]
     |> Pretty.quote;
 
 val print = Pretty.unformatted_string_of o pretty;
 
-val _ = ML_system_pp (fn _ => fn _ => Pretty.to_polyml o pretty o set_pos Position.none);
+val _ = ML_system_pp (fn _ => fn _ => Pretty.to_polyml o pretty o reset_pos);
 
 
 (* check *)
 
 fun bad binding = "Bad name binding: " ^ print binding ^ Position.here (pos_of binding);