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 /cparser | |
| parent | 288ca8fb73c7cedbb23d1cf2d7c9eb5e430211bf (diff) | |
| download | compcert-6684eb494192ea1e7e29fa4bb3cbe453208e2430.tar.gz compcert-6684eb494192ea1e7e29fa4bb3cbe453208e2430.zip | |
Remove the duplicated :. Bug 18004
Diffstat (limited to 'cparser')
| -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 = |