From 4a3c8ae008d0159e4626497e94fd820489a2cf54 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Mon, 18 Feb 2013 16:57:32 +0000
Subject: Added exception enrichment. Now one can define additional arbitrary
 information worn by exceptions. The implementation is quite hackish but it
 should work nonetheless.

Basically, it adds an additional cell to exceptions arguments, in
which you can put whatever you want. By typing invariants, you may
not reach this cell by normal means, so it should be safe.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16212 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/printers.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index fa6d9324c1..0b6ec899e9 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -1,5 +1,6 @@
 Coq_config
 
+Exninfo
 Backtrace
 Int
 Pp_control
-- 
cgit v1.2.3