From 5fb62129cb313b794209d3deaf1037af40fc685e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Mon, 14 Mar 2011 20:52:23 +0000
Subject: [PATCH] remove debugging message

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

diff --git a/C/bignum.c b/C/bignum.c
index 1957654db..5304a4faf 100755
--- a/C/bignum.c
+++ b/C/bignum.c
@@ -300,7 +300,6 @@ Yap_MkBlobStringTerm(const char *s, size_t len)
   H = (CELL *)sp;
   sp->len = sz;
   strncpy((char *)(sp+1), s, sz+1);
-  fprintf(stderr,"%s\n", (char *)(sp+1));
   H += siz;
   H[0] = EndSpecials;
   H++;