From 442feb2c07f8f5824e814bba504f02c2742637e2 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 29 May 2012 11:08:09 +0000
Subject: Vernacexpr is now a mli-only file, locality stuff now in locality.ml

 Adds a directory ./intf for pure interfaces.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15367 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/errors.ml  | 2 ++
 lib/errors.mli | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'lib')

diff --git a/lib/errors.ml b/lib/errors.ml
index 1060a8efda..026198a98a 100644
--- a/lib/errors.ml
+++ b/lib/errors.ml
@@ -35,6 +35,8 @@ let invalid_arg_loc (loc,s) = Loc.raise loc (Invalid_argument s)
 exception Error_in_file of string * (bool * string * loc) * exn
 
 exception Timeout
+exception Drop
+exception Quit
 
 let handle_stack = ref []
 
diff --git a/lib/errors.mli b/lib/errors.mli
index a863c5e30e..d04ebb3fe7 100644
--- a/lib/errors.mli
+++ b/lib/errors.mli
@@ -38,6 +38,8 @@ val invalid_arg_loc : loc * string -> 'a
 val todo : string -> unit
 
 exception Timeout
+exception Drop
+exception Quit
 
 (** Like [Exc_located], but specifies the outermost file read, the
    input buffer associated to the location of the error (or the module name
-- 
cgit v1.2.3