From 19f15851bc63f5cec9ab5c013797771e4d73e371 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Tue, 23 Jun 2009 14:36:28 +0200
Subject: [PATCH] Remove a double line introduced a few commits back.

This line created some kind of infinite loop.
---
 Normalize.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Normalize.hs b/Normalize.hs
index cceefc0..208a8fa 100644
--- a/Normalize.hs
+++ b/Normalize.hs
@@ -43,7 +43,6 @@ import Pretty
 -- η abstraction
 --------------------------------
 eta, etatop :: Transform
-eta expr | is_fun expr && not (is_lam expr) = do
 eta expr | is_fun expr && not (is_lam expr) = do
   let arg_ty = (fst . Type.splitFunTy . CoreUtils.exprType) expr
   id <- mkInternalVar "param" arg_ty
-- 
2.30.2