1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index b432e0ccdf..f6e98fc9e0 100644
--- a/CHANGES
+++ b/CHANGES
@@ -151,6 +151,7 @@ Bugs
 - Inversion bugs fixed (#212 and #220)
 - Omega bug related to Set fixed (#180)
 - Type-checking inefficiency of nested destructuring let-in fixed (#216)
+- Improved handling of let-in during holes resolution phase
 
 Changes from V7.3 to V7.3.1
 ===========================