From 236108388bf1b695f84280159c9e42c428ea568b Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 5 Jul 2007 14:08:58 +0000
Subject: [PATCH] hacky solution to name resolution warnings

---
 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 d5d851d87..987c6660f 100644
--- a/resource-1.0/Makefile
+++ b/resource-1.0/Makefile
@@ -1,6 +1,6 @@
 GF=gf -s
 RTS=+RTS -M800M -K100M
-RTSS=+RTS -M1000M -K100M
+RTSS=+RTS -M1300M -K100M
 
 #may need this on amd64
 RTS=+RTS -M2000M -K200M