Remove TODO that was already solved.

diff --git a/Normalize.hs b/Normalize.hs
index 9ee919ab524be8a211b99fe4b22bd7a03478079a..ec329c9a8a718915167f0e8a2979eb351a2a9d87 100644 (file)
--- 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
 --------------------------------