From 7ae08ee81c6859fb7ee4043207d87572a4bc3bc3 Mon Sep 17 00:00:00 2001
From: Anton Trunov
Date: Thu, 6 Dec 2018 17:58:41 +0100
Subject: Update ChangeLog

---
 ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index fc10b66..e37f1e8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
 ??/??/???? - version 1.7.1
+
+	* Removed `_ : Type` field from packed classes. This performance
+	  optimization is not strictly necessary with modern Coq versions.
+
 	* Added companion matrix of a polynomial `companionmx p` and the
 	  theorems: companionmxK, map_mx_companion and companion_map_poly
 
-- 
cgit v1.2.3