From 70962cd1ef47767d4cb623a129b5c955a5aec41e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 20 Dec 2008 14:49:58 +0000
Subject: 	* interp/define.boot (checkRepresentation): Take a second 
 argument.  For domain extensions, warn about useless assignment to 	Rep,
 and syntactically 	conflicting assignment to Rep.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 75696a0a..0f026bb1 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2008-12-20  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/define.boot (checkRepresentation): Take a second
+	argument.  For domain extensions, warn about useless assignment to
+	Rep, and syntactically 	conflicting assignment to Rep.
+
 2008-12-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/newdata.spad.pamphlet (SplittingNode): Define Rep as
-- 
cgit v1.2.3