diff options
author | 2016-08-26 13:18:02 +0200 | |
---|---|---|
committer | 2016-08-26 13:18:02 +0200 | |
commit | 69388fcd52b4a2aeefe843099c608d96defd1ce6 (patch) | |
tree | f31e4768b8db651eac5be33997c19417106e5bf9 /engine | |
parent | 6cdcd498c4b425cad077f5bfaa453dc605b325a2 (diff) |
CLEANUP: rename "Context.Named.{to,of}_rel" functions to "Context.Named.{to,of}_rel_decl"
Diffstat (limited to 'engine')
-rw-r--r-- | engine/evd.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/evd.ml b/engine/evd.ml index d573a9f05..3aab39eda 100644 --- a/engine/evd.ml +++ b/engine/evd.ml @@ -1403,7 +1403,7 @@ let print_env_short env = | RelDecl.LocalAssum (n,_) -> pr_name n | RelDecl.LocalDef (n,b,_) -> str "(" ++ pr_name n ++ str " := " ++ print_constr b ++ str ")" in - let pr_named_decl = pr_rel_decl % NamedDecl.to_rel in + let pr_named_decl = pr_rel_decl % NamedDecl.to_rel_decl in let nc = List.rev (named_context env) in let rc = List.rev (rel_context env) in str "[" ++ pr_sequence pr_named_decl nc ++ str "]" ++ spc () ++ |