From 518049fe7f689489842fdfa670f57b618f125f31 Mon Sep 17 00:00:00 2001
From: mlasson <marc.lasson@gmail.com>
Date: Thu, 25 Jun 2015 16:40:24 +0200
Subject: Add an if_verbose for "Fetching opaque proofs ..."

I do not think that this information is worth displaying without
the verbose flag.
---
 library/library.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/library.ml')

diff --git a/library/library.ml b/library/library.ml
index 45fce1c26..f7ca4e976 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -379,7 +379,7 @@ let access_table what tables dp i =
     | Fetched t -> t
     | ToFetch f ->
       let dir_path = Names.DirPath.to_string dp in
-      msg_info (str"Fetching " ++ str what++str" from disk for " ++ str dir_path);
+      Flags.if_verbose msg_info (str"Fetching " ++ str what++str" from disk for " ++ str dir_path);
       let t =
         try fetch_delayed f
         with Faulty f ->
-- 
cgit v1.2.3