From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Fri, 26 Jun 2009 08:55:46 +0000 (+0200)
Subject: Remove TODO that was already solved.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=inline;h=10653fccb0230d2dd25c9108796bfdfed4c9f287;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Remove TODO that was already solved.
---

diff --git a/Normalize.hs b/Normalize.hs
index 9ee919a..ec329c9 100644
--- a/Normalize.hs
+++ b/Normalize.hs
@@ -411,9 +411,6 @@ funprop expr = return expr
 -- Perform this transform everywhere
 funproptop = everywhere ("funprop", funprop)
 
-
--- TODO: introduce top level let if needed?
-
 --------------------------------
 -- End of transformations
 --------------------------------