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