From 26aa224293e88611dcb543e400488013bc8b30b4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 16 Sep 2014 16:48:38 +0200
Subject: better error message

---
 toplevel/indschemes.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/toplevel/indschemes.ml b/toplevel/indschemes.ml
index 1ecd893d92..2b015b0331 100644
--- a/toplevel/indschemes.ml
+++ b/toplevel/indschemes.ml
@@ -182,7 +182,8 @@ let try_declare_scheme what f internal names kn =
         alarm what internal (msg ++ str ".")
     | e when Errors.noncritical e ->
 	alarm what internal
-	  (str "Unknown exception during scheme creation.")
+	  (str "Unknown exception during scheme creation: "++
+           str (Printexc.to_string e))
 
 let beq_scheme_msg mind =
   let mib = Global.lookup_mind mind in
-- 
cgit v1.2.3