--- docon.cabal.sav	2008-06-17 19:15:25.000000000 -0400
+++ docon.cabal		2008-06-17 19:15:41.000000000 -0400
@@ -39,7 +39,7 @@
   -fno-warn-overlapping-patterns -fwarn-unused-binds 
   -fwarn-unused-matches -fwarn-unused-imports
   -O
-  +RTS -M400m -RTS  
+  +RTS -M800m -RTS  
 --
 --  -prof -auto-all
 -- for  profiling  add also   --enable-library-profiling  
