From 75976e7d252b849c10767635baf27fb98af9a1b5 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 13 Feb 2011 14:28:30 +0000
Subject: 	* interp/g-opt.boot (optCond): Get rid of double negatives
 when 	possible. 	* interp/g-util.boot (assumeProperty): Remove. 
 (flattenVMForm): Likewise. 	(mkVMForm): Likewise.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 15a1634e..b7e63e94 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,11 @@
+2011-02-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/g-opt.boot (optCond): Get rid of double negatives when
+	possible. 
+	* interp/g-util.boot (assumeProperty): Remove.
+	(flattenVMForm): Likewise.
+	(mkVMForm): Likewise.
+
 2011-02-12  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/compiler.boot (compCons1): Use coerce not convert.
-- 
cgit v1.2.3