diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 09:31:08 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-21 09:31:08 +0200 |
commit | 6684eb494192ea1e7e29fa4bb3cbe453208e2430 (patch) | |
tree | 7190a9d72398d0f61eb83226b1d2a51bc46371d7 | |
parent | 288ca8fb73c7cedbb23d1cf2d7c9eb5e430211bf (diff) | |
download | compcert-6684eb494192ea1e7e29fa4bb3cbe453208e2430.tar.gz compcert-6684eb494192ea1e7e29fa4bb3cbe453208e2430.zip |
Remove the duplicated :. Bug 18004
-rw-r--r-- | cparser/Cerrors.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 = |