From 7b4dbbb83e3da2fe716dacad627ddd3497653f07 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Tue, 18 Oct 2016 10:58:42 +0200
Subject: CLEANUP: rename "Nameops.lift_subscript" to
 "Nameops.increment_subscript".

The word "increment" is more appropriate in this case than "lifting".
The world "lifting", in computer science, usually denotes something else:

  https://en.wikipedia.org/wiki/Lambda_lifting
---
 dev/doc/changes.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/doc')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index faf4b4c31b..c00167b625 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -10,6 +10,7 @@ We renamed the following functions:
   Context.Named.Declaration.fold -> Context.Named.Declaration.fold_constr
   Printer.pr_var_list_decl       -> Printer.pr_compacted_decl
   Printer.pr_var_decl            -> Printer.pr_named_decl
+  Nameops.lift_subscript         -> Nameops.increment_subscript
 
 We removed the following functions:
 
-- 
cgit v1.2.3