From b9b6081bee80b1eb8d4118983b03e29733f188e0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 9 Oct 2009 06:23:10 +0000
Subject: 	Fix SF/2875134 	* interp/ptrees.boot: New. 	(pfIdSymbol):
 Use it. 	(pfSymbolSymbol): Likewise. 	(pfInfApplication): Likewise. 
 * testsuite/interpreter/sf-2875134.input: New.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index b79e9778..e52b5851 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,12 @@
+2009-10-09  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	Fix SF/2875134
+	* interp/ptrees.boot: New.
+	(pfIdSymbol): Use it.
+	(pfSymbolSymbol): Likewise.
+	(pfInfApplication): Likewise.
+	* testsuite/interpreter/sf-2875134.input: New.
+
 2009-10-01  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* driver/Makefile.in (open_axiom_LDADD): Prefer libraries from build
-- 
cgit v1.2.3