From b92a3ca792b754b10d6c0b307d4167bcb7ed632f Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Thu, 12 Sep 2013 15:50:47 +0000
Subject: Continue.

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

(limited to 'driver/errors.ml')

diff --git a/driver/errors.ml b/driver/errors.ml
index cb1a047ec..bda1a30ac 100644
--- a/driver/errors.ml
+++ b/driver/errors.ml
@@ -10,4 +10,7 @@
 (*                                                                     *)
 (***********************************************************************)
 
+(* This module should be removed.  We keep it for now, to avoid
+   breaking external tools depending on it. *)
+
 let report_error = Location.report_exception
-- 
cgit v1.2.3-70-g09d2