From 69388fcd52b4a2aeefe843099c608d96defd1ce6 Mon Sep 17 00:00:00 2001
From: Matej Kosik <m4tej.kosik@gmail.com>
Date: Fri, 26 Aug 2016 13:18:02 +0200
Subject: CLEANUP: rename "Context.Named.{to,of}_rel" functions to
 "Context.Named.{to,of}_rel_decl"

---
 engine/evd.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine')

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 () ++
-- 
cgit v1.2.3