diff options
-rw-r--r-- | kernel/pre_env.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kernel/pre_env.ml b/kernel/pre_env.ml index ff93d73b6..ba9f30233 100644 --- a/kernel/pre_env.ml +++ b/kernel/pre_env.ml @@ -153,8 +153,7 @@ let lookup_constant_key kn env = Cmap_env.find kn env.env_globals.env_constants let lookup_constant kn env = - try fst (Cmap_env.find kn env.env_globals.env_constants) - with Not_found -> Errors.anomaly Pp.(str "Unknown constant " ++ pr_con kn) + fst (Cmap_env.find kn env.env_globals.env_constants) (* Mutual Inductives *) let lookup_mind kn env = |