let pp_warning fmt w =
begin
Format.fprintf fmt
"@[<v 0>%s:%d: warning from %s:@\n"
w.wrn_loc.Log.src_file
w.wrn_loc.Log.src_line
w.wrn_source ;
if w.wrn_severe then
Format.fprintf fmt " - Warning: %s, looking for context inconsistency"
w.wrn_effect
else
Format.fprintf fmt " - Warning: %s" w.wrn_effect ;
Format.fprintf fmt "@\n Reason: %s@]" w.wrn_reason ;
end