From 1391dabd04f4bccb6c7742c2a4bed092a7f44ba8 Mon Sep 17 00:00:00 2001
From: "U-w7\\vsc" <vsc@w7.(none)>
Date: Tue, 29 Oct 2013 16:28:30 +0000
Subject: [PATCH] remove debugging info

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

diff --git a/C/alloc.c b/C/alloc.c
index c32233c7c..e8708da83 100644
--- a/C/alloc.c
+++ b/C/alloc.c
@@ -297,7 +297,6 @@ Yap_InitPreAllocCodeSpace(int wid)
   }
   AuxBase = (ADDR)(ptr);
   AuxSp = (CELL *)(AuxTop = AuxBase+REMOTE_ScratchPad(wid).sz);
-  printf("wid=%d %p %p %p--%p\n", wid, AuxBase, AuxSp, Yap_HeapBase, H);
   return ptr;
 }