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

(limited to 'lib/errors.ml')

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 []
 
-- 
cgit v1.2.3