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.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/errors.mli')

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