From f45bbcf79018da0f52098ae284af73a5d38249c3 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 26 Aug 2016 12:37:59 +0200
Subject: CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"

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

(limited to 'dev/doc')

diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt
index 5933649daf..f87e76dd1a 100644
--- a/dev/doc/changes.txt
+++ b/dev/doc/changes.txt
@@ -6,6 +6,11 @@ We renamed the following functions:
 
   Context.Rel.Declaration.fold   -> Context.Rel.Declaration.fold_constr
   Context.Named.Declaration.fold -> Context.Named.Declaration.fold_constr
+  Printer.pr_var_list_decl       -> Printer.pr_compacted_decl
+
+We renamed the following modules:
+
+  Context.ListNamed -> Context.Compacted
 
 The following type aliases where removed
 
-- 
cgit v1.2.3