summaryrefslogtreecommitdiff
path: root/utils/warnings.mli
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2010-05-04 18:44:38 +0000
committerAlain Frisch <alain@frisch.fr>2010-05-04 18:44:38 +0000
commite09a12388f32e8572f14c6a681552a864ef79930 (patch)
tree6f18303c27ea00b4280a183646a4e108d9f2716d /utils/warnings.mli
parent6db50e804c1b256594a399656b8a26b04117dcb4 (diff)
downloadocaml-e09a12388f32e8572f14c6a681552a864ef79930.tar.gz
New -help-warnings command-line option.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/warnings.mli')
-rw-r--r--utils/warnings.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/warnings.mli b/utils/warnings.mli
index d733f837c0..c9e577d9f3 100644
--- a/utils/warnings.mli
+++ b/utils/warnings.mli
@@ -62,3 +62,5 @@ val print : formatter -> t -> int;;
exception Errors of int;;
val check_fatal : unit -> unit;;
+
+val help_warnings: unit -> unit