From 54e8894dd3a1787a89d094bb2917ac7cf72d322a Mon Sep 17 00:00:00 2001
From: puech
Date: Fri, 29 Jul 2011 14:23:48 +0000
Subject: argument renaming in liftn (match with usual terminology)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14311 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/term.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel')

diff --git a/kernel/term.ml b/kernel/term.ml
index 453cc4c179..0d11b666b3 100644
--- a/kernel/term.ml
+++ b/kernel/term.ml
@@ -923,12 +923,12 @@ let rec exliftn el c = match kind_of_term c with
 
 (* Lifting the binding depth across k bindings *)
 
-let liftn k n =
-  match el_liftn (pred n) (el_shft k ELID) with
+let liftn n k =
+  match el_liftn (pred k) (el_shft n ELID) with
     | ELID -> (fun c -> c)
     | el -> exliftn el
 
-let lift k = liftn k 1
+let lift n = liftn n 1
 
 (*********************)
 (*   Substituting    *)
-- 
cgit v1.2.3