From 70d7d82522e987951b9f335b6c453153b4ebe6a0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 19 May 2013 01:20:14 +0000
Subject: 	* interp/define.boot (knownPred): Take a memo-table as third
 parameter.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index e482cf20..01a0296d 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2013-05-18  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+
+	* interp/define.boot (knownPred): Take a memo-table as third parameter.
+
 2013-05-18  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute
-- 
cgit v1.2.3