From c4bdf93e358b97b32e0d80d6c7d1b79a2ece1dc2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 16 May 2014 20:17:18 +0200
Subject: Decent error message when a constant is not found

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

(limited to 'kernel')

diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml
index ba9f302334..ff93d73b6e 100644
--- a/kernel/pre_env.ml
+++ b/kernel/pre_env.ml
@@ -153,7 +153,8 @@ let lookup_constant_key kn env =
   Cmap_env.find kn env.env_globals.env_constants
 
 let lookup_constant kn env =
-  fst (Cmap_env.find kn env.env_globals.env_constants)
+  try fst (Cmap_env.find kn env.env_globals.env_constants)
+  with Not_found -> Errors.anomaly Pp.(str "Unknown constant " ++ pr_con kn) 
 
 (* Mutual Inductives *)
 let lookup_mind kn env =
-- 
cgit v1.2.3