From 3d7b7c2e37f7cd35d77a5bce55bc76481b2195ff Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Wed, 23 Aug 2000 17:13:17 +0000
Subject: option -warn-error

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 driver/errors.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'driver/errors.ml')

diff --git a/driver/errors.ml b/driver/errors.ml
index 3256a7099..a6d970802 100644
--- a/driver/errors.ml
+++ b/driver/errors.ml
@@ -55,6 +55,8 @@ let report_error ppf exn =
       Location.print ppf loc; Typeclass.report_error ppf err
   | Translclass.Error(loc, err) ->
       Location.print ppf loc; Translclass.report_error ppf err
+  | Warnings.Errors (n) ->
+      fprintf ppf "@.Error: %d error-enabled warnings occurred." n
   | x -> fprintf ppf "@]"; raise x in
 
   fprintf ppf "@[%a@]@." report exn
-- 
cgit v1.2.3-70-g09d2