From 480b51df236e9a9cef98823043597b0570dc31c3 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 31 Jan 2003 16:51:11 +0000
Subject: MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3640 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index f6e98fc9e0..e353671a80 100644
--- a/CHANGES
+++ b/CHANGES
@@ -151,7 +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
+- Improved handling of let-in during holes resolution phase (#239)
 
 Changes from V7.3 to V7.3.1
 ===========================
-- 
cgit v1.2.3