From 69200411894bf07d8b913953954c6d5dbebebff7 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 13 Nov 2008 09:02:33 +0000
Subject: [PATCH] fix bad size in grow stack

---
 C/grow.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/C/grow.c b/C/grow.c
index 6d6f736f7..7704d7f60 100644
--- a/C/grow.c
+++ b/C/grow.c
@@ -721,6 +721,7 @@ static_growglobal(long size, CELL **ptr, CELL *hsplit)
   int do_grow = TRUE;
 
   CurrentDelayTop = (CELL *)omax;
+  size0 = size;
   if (hsplit) {
     /* just a little bit of sanity checking */
     if (hsplit < (CELL*)omax ||
@@ -734,9 +735,6 @@ static_growglobal(long size, CELL **ptr, CELL *hsplit)
       do_grow = FALSE;
     }
   }
-  size0 = size;
-  if (size < ((char *)H0-omax)/8)
-    size = ((char *)H0-omax)/8;
   if (do_grow) {
     if (size < YAP_ALLOC_SIZE)
       size = YAP_ALLOC_SIZE;