From f7a82d5f7edcce7ef70b99a10b92d8dcd5cfea70 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 24 Feb 2007 15:22:07 +0000
Subject: Une passe sur les warnings (ajout Options.warn déclenchée par
 compile-verbose + ajout Pp.strbrk pour faciliter les césures faciles +
 messages divers).
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9679 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/options.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/options.mli')

diff --git a/lib/options.mli b/lib/options.mli
index 7fa55e636..73962735d 100644
--- a/lib/options.mli
+++ b/lib/options.mli
@@ -40,6 +40,9 @@ val silently : ('a -> 'b) -> 'a -> 'b
 val if_silent : ('a -> unit) -> 'a -> unit
 val if_verbose : ('a -> unit) -> 'a -> unit
 
+val make_warn : bool -> unit
+val if_warn : ('a -> unit) -> 'a -> unit
+
 val hash_cons_proofs : bool ref
 
 (* Temporary activate an option ('c must be an atomic type) *)
-- 
cgit v1.2.3