From b55ffd0089596da274bebbdcaf86c9a3e68cd732 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 26 Jul 2011 21:05:16 +0100
Subject: [PATCH] fix warning message.

---
 C/alloc.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/C/alloc.c b/C/alloc.c
index 0f7d72e66..50c07a06c 100755
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -944,7 +944,6 @@ InitWorkSpace(Int s)
 #else
   a = mmap(NULL, (size_t) s, PROT_READ | PROT_WRITE | PROT_EXEC,
 	   MAP_PRIVATE | MAP_ANON, -1, 0);
-  fprintf(stderr,"a=%p\n",a);
 #endif
 #else
   fd = open("/dev/zero", O_RDWR, S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH);