From c3dea39d035f24533e2aa65309214f7ce2aa9ae6 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 2 Nov 2011 12:55:19 +0000
Subject: 	* interp/c-util.boot (dbSubstituteAllQuantified): New. 	*
 interp/define.boot (NRTmakeCategoryAlist): Use it. 	(compDefineFunctor1):
 Likewise.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 04edac55..7e4ed5e1 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2011-11-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/c-util.boot (dbSubstituteAllQuantified): New.
+	* interp/define.boot (NRTmakeCategoryAlist): Use it.
+	(compDefineFunctor1): Likewise.
+
 2011-11-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	Add compiler support for implicit parameters.
-- 
cgit v1.2.3