From fe6e3f4879e5af1d925f072d7a67b6c9e0d38916 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 21 Jun 2006 22:24:44 +0000
Subject: [PATCH] makefile

---
 resource-1.0/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile
index fbf4215d3..c9c2daa74 100644
--- a/resource-1.0/Makefile
+++ b/resource-1.0/Makefile
@@ -1,6 +1,6 @@
 GF=gf
 RTS=+RTS -M800M -K100M
-RTSS=+RTS -M1800M -K100M
+RTSS=+RTS -M1000M -K100M
 GFCA=$(GF) -nocf
 GFCC=$(GF) -nocf -make
 GFC=$(GFCC) -src