From 62852f6f2ab6d3abc53c4289cd46a52d1abd4a2d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 27 Feb 2014 15:17:04 +0100
Subject: better warning

---
 lib/aux_file.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

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
-- 
cgit v1.2.3