From f70a374e05bd1235412ee7b76235b47d176ad595 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 26 Aug 2016 15:44:22 +0200
Subject: CLEANUP: removing "Termops.compact_named_context_reverse" function

---
 dev/doc/changes.txt | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index 70626524bb..a7b5c61e91 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -9,6 +9,10 @@ We renamed the following functions:
   Printer.pr_var_list_decl       -> Printer.pr_compacted_decl
   Printer.pr_var_decl            -> Printer.pr_named_decl
 
+We removed the following functions:
+
+  Termops.Termops.compact_named_context_reverse
+
 We renamed the following modules:
 
   Context.ListNamed -> Context.Compacted
-- 
cgit v1.2.3