diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/pre_env.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 = |