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