From f1bfa118c63711ab3ab9a049e79254992ad87f5d 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

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

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