From ee564c8d79831d7577674f5e08f72471bb05eb31 Mon Sep 17 00:00:00 2001
From: peb <peb@cs.chalmers.se>
Date: Fri, 2 Jun 2006 12:11:36 +0000
Subject: [PATCH] added Float to PredefAbs

---
 prelude/PredefAbs.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prelude/PredefAbs.gf b/prelude/PredefAbs.gf
index 2779bcd58..a99961d00 100644
--- a/prelude/PredefAbs.gf
+++ b/prelude/PredefAbs.gf
@@ -1,4 +1,4 @@
 abstract PredefAbs = {
-  cat Int ; String ;
+  cat Int ; String ; Float ; 
 } ;