diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/aux_file.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/aux_file.ml b/lib/aux_file.ml index aceded5269..5a3d297468 100644 --- a/lib/aux_file.ml +++ b/lib/aux_file.ml @@ -79,6 +79,6 @@ let load_aux_file_for vfile = | Outdated -> empty_aux_file | Sys_error s | Scanf.Scan_failure s | Failure s | Invalid_argument s -> - Flage.if_verbose - Pp.(msg_warning (str"Loading file "++str aux_fname++str": "++str s)); + Flags.if_verbose + Pp.msg_warning Pp.(str"Loading file "++str aux_fname++str": "++str s); empty_aux_file |