From f0ef2d764673670fef52873c441bbbb2f1f7a34d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 28 Mar 2020 19:24:53 +0100
Subject: Remove a useless reversed variant in Vars.

---
 kernel/vars.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'kernel/vars.ml')

diff --git a/kernel/vars.ml b/kernel/vars.ml
index 4c66f1574f..a4465c293b 100644
--- a/kernel/vars.ml
+++ b/kernel/vars.ml
@@ -169,9 +169,6 @@ let subst_of_rel_context_instance sign l =
     | _ -> CErrors.anomaly (Pp.str "Instance and signature do not match.")
   in aux [] (List.rev sign) l
 
-let adjust_subst_to_rel_context sign l =
-  List.rev (subst_of_rel_context_instance sign l)
-
 let adjust_rel_to_rel_context sign n =
   let rec aux sign =
     let open RelDecl in
-- 
cgit v1.2.3