From ad5aea737ecc639c31dda84322b3550a4d380b47 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 22 Jun 2018 21:06:01 +0200
Subject: Proper record type and accessors for transparent states.

This is documented in dev/doc/changes.md.
---
 dev/doc/changes.md | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dev/doc/changes.md')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index b1fdfafd3a..9c5785758d 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -19,6 +19,10 @@ Names
   Constant.make3 has been removed, use Constant.make2
   Constant.repr3 has been removed, use Constant.repr2
 
+- `Names.transparent_state` has been moved to its own module `TranspState`.
+  This module gathers utility functions that used to be defined in several
+  places.
+
 Coqlib:
 
 - Most functions from the `Coqlib` module have been deprecated in favor of
-- 
cgit v1.2.3