From 8717bfc401b2eb92f841089e1132cc7e9a7a899e Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 27 May 2012 15:35:54 +0000
Subject: [PATCH] memory on demo/Compile

---
 lib/src/demo/Compile.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/demo/Compile.hs b/lib/src/demo/Compile.hs
index 250473454..ac06be1d0 100644
--- a/lib/src/demo/Compile.hs
+++ b/lib/src/demo/Compile.hs
@@ -38,7 +38,7 @@ main = do
 compileOne modu = do
   let comm = "gf -make -s -optimize-pgf -name=" ++ 
              modu ++ " " ++ modu ++ ".gf" ++
-             " +RTS -K32M"
+             " +RTS -K320M"
   putStrLn comm
   system comm