From 69388fcd52b4a2aeefe843099c608d96defd1ce6 Mon Sep 17 00:00:00 2001
From: Matej Kosik
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"

---
 pretyping/typeclasses.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/typeclasses.ml b/pretyping/typeclasses.ml
index c3cdb361ba..4c33a9c789 100644
--- a/pretyping/typeclasses.ml
+++ b/pretyping/typeclasses.ml
@@ -201,7 +201,7 @@ let discharge_class (_,cl) =
   let repl = Lib.replacement_context () in
   let rel_of_variable_context ctx = List.fold_right
     ( fun (decl,_) (ctx', subst) ->
-        let decl' = decl |> NamedDecl.map_constr (substn_vars 1 subst) |> NamedDecl.to_rel in
+        let decl' = decl |> NamedDecl.map_constr (substn_vars 1 subst) |> NamedDecl.to_rel_decl in
 	(decl' :: ctx', NamedDecl.get_id decl :: subst)
     ) ctx ([], []) in
   let discharge_rel_context subst n rel =
-- 
cgit v1.2.3