From b4c802eb28e2d66b93d0c888f0cd47fd13ffcf44 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 2 Jul 2008 14:15:15 +0000
Subject: 	(coerceExtraHard): Convert domain instantiations to domain
 objects.

---
 src/ChangeLog | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 5d72a4c7..9f61d8ee 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,7 @@
 2008-07-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/compiler.boot (compExpression): Tidy.
+	(coerceExtraHard): Convert domain instantiations to domain objects.
 
 2008-06-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
-- 
cgit v1.2.3