From ded226fca8f3a75d33602a7fbbc941c55e985fdf Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 30 May 2010 18:11:23 +0000
Subject: 	* interp/i-coerce.boot (getSubDomainPredicate): Use
 compileInteractive.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 24c146c2..7cc24a09 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2010-05-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/i-coerce.boot (getSubDomainPredicate): Use compileInteractive.
+
 2010-05-29  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/boolean.spad.pamphlet (Boolean): Remove reference to
-- 
cgit v1.2.3