From f83ac17ca33eccfb4eb9e86d7db6c6a8a7d80bd9 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 10 May 2010 03:10:18 +0100 Subject: [PATCH] remove debugging info. --- C/grow.c | 1 - 1 file changed, 1 deletion(-) diff --git a/C/grow.c b/C/grow.c index c58ff23d6..8efea3b5e 100644 --- a/C/grow.c +++ b/C/grow.c @@ -857,7 +857,6 @@ static_growglobal(long request, CELL **ptr, CELL *hsplit) do_grow is whether we expand stacks */ - if (delay_overflows==833) jmp_deb(1); if (hsplit) { /* just a little bit of sanity checking */ if (hsplit < H0 && hsplit > (CELL *)Yap_GlobalBase) {