From f65f8d5a4d9ba437fa2d8af03e2781d841e53007 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 21 Jan 2016 09:21:23 +0100
Subject: Restore warnings produced by the interpretation of the command line
 (e.g. with deprecated options such as -byte, etc.) since I guess this is what
 we expect.

Was probably lost in 81eb133d64ac81cb.
---
 lib/flags.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/flags.mli b/lib/flags.mli
index ab06eda306..69caad5b62 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -90,6 +90,7 @@ val is_universe_polymorphism : unit -> bool
 val make_polymorphic_flag : bool -> unit
 val use_polymorphic_flag : unit -> bool
 
+val warn : bool ref
 val make_warn : bool -> unit
 val if_warn : ('a -> unit) -> 'a -> unit
 
-- 
cgit v1.2.3