From ca64cc032a3f03381d00d7c9b128688f3f920844 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 27 Feb 2014 16:13:22 +0100 Subject: amending last commit --- lib/aux_file.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/aux_file.ml') diff --git a/lib/aux_file.ml b/lib/aux_file.ml index aceded526..5a3d29746 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 -- cgit v1.2.3