From db462564430f0d9eb4daa70a191d10e6bb5af528 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 16 Aug 2011 00:54:18 +0000
Subject: 	* interp/functor.boot (setVector0, setVector12, setVector3, 
 mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead 	codes.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 05218fe2..9f01d7e0 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2011-08-15  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/functor.boot (setVector0, setVector12, setVector3,
+	mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead
+	codes. 
+
 2011-08-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/g-opt.boot (optCollectVector): Generate VM forms.
-- 
cgit v1.2.3