From 1fbd5c268bc2c763e6c74f6995ecfa70fd6c68bc Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 1 Jun 2012 16:39:06 +0100
Subject: [PATCH] extend WorkSpace

---
 C/alloc.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/C/alloc.c b/C/alloc.c
index 3b4e434f7..8117bdff3 100644
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -1121,6 +1121,13 @@ mmap_extension(Int s, MALLOC_T base, int fixed_allocation)
 #endif /* !YAPOR */
 
 
+/*
+   s= how much memory we need; 
+   fixed_alloc = do we need to contiguously extend stack
+   returns TRUE or FALSE
+
+   updates WorkSpaceTop
+*/
 static int
 ExtendWorkSpace(Int s, int fixed_allocation)
 {