From 30e8bc6cc0bbf271dd2c07cffff8447afa6267c9 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Wed, 7 Dec 2005 10:11:41 +0000
Subject: [PATCH] Transfer: derive Eq Bool

---
 transfer/lib/prelude.tra | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/transfer/lib/prelude.tra b/transfer/lib/prelude.tra
index fe2d1b296..a19c33601 100644
--- a/transfer/lib/prelude.tra
+++ b/transfer/lib/prelude.tra
@@ -96,7 +96,7 @@ data Bool : Type where
 	False : Bool
 
 -- derive Show Bool
--- derive Eq Bool
+derive Eq Bool
 -- derive Ord Bool
 
 not : Bool -> Bool