Commit 6fd0e645 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-01-14 11:34:45 by afrisch] Warning not displayed

Original author: afrisch
Date: 2005-01-14 11:34:45+00:00
parent 36869395
......@@ -12,7 +12,7 @@ let debug_schema = false
let warning loc msg =
let v = Location.get_viewport () in
let ppf = Html.ppf v in
let ppf = if Html.is_html v then Html.ppf v else Format.err_formatter in
Format.fprintf ppf "Warning %a:@\n" Location.print_loc (loc,`Full);
Location.html_hilight (loc,`Full);
Format.fprintf ppf "%s@." msg
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment