diff options
Diffstat (limited to 'lib/cWarnings.ml')
| -rw-r--r-- | lib/cWarnings.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/cWarnings.ml b/lib/cWarnings.ml index cc2463e22..2f569d284 100644 --- a/lib/cWarnings.ml +++ b/lib/cWarnings.ml @@ -49,8 +49,8 @@ let create ~name ~category ?(default=Enabled) pp = | Disabled -> () | AsError -> begin match refine_loc loc with - | Some loc -> CErrors.user_err_loc (loc,"_",pp x) - | None -> CErrors.errorlabstrm "_" (pp x) + | Some loc -> CErrors.user_err ~loc (pp x) + | None -> CErrors.user_err (pp x) end | Enabled -> let msg = |