From 6684eb494192ea1e7e29fa4bb3cbe453208e2430 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 21 Sep 2016 09:31:08 +0200 Subject: Remove the duplicated :. Bug 18004 --- cparser/Cerrors.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'cparser/Cerrors.ml') diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index e1848ffa..f95188e8 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -224,13 +224,13 @@ let pp_loc fmt (filename,lineno) = let error key loc fmt = incr num_errors; kfprintf (pp_key key) - err_formatter ("%a %terror:%t: %t" ^^ fmt) pp_loc loc rc rsc bc + err_formatter ("%a %terror:%t %t" ^^ fmt) pp_loc loc rc rsc bc let fatal_error key loc fmt = incr num_errors; kfprintf (fun fmt -> pp_key key fmt;raise Abort) - err_formatter ("%a %terror:%t: %t" ^^ fmt) pp_loc loc rc rsc bc + err_formatter ("%a %terror:%t %t" ^^ fmt) pp_loc loc rc rsc bc let warning loc ty fmt = let kind,key = classify_warning ty in @@ -242,7 +242,7 @@ let warning loc ty fmt = | WarningMsg -> incr num_warnings; kfprintf (pp_key key) - err_formatter ("%a %twarning:%t: %t" ^^ fmt) pp_loc loc mc rsc bc + err_formatter ("%a %twarning:%t %t" ^^ fmt) pp_loc loc mc rsc bc | SuppressedMsg -> ifprintf err_formatter fmt let error loc fmt = -- cgit