From 0cd9009132714f75418bc4e3eacd5828d24d116e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 5 May 2009 10:15:34 -0500
Subject: [PATCH] remove debugging message.

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

diff --git a/C/exec.c b/C/exec.c
index 296b0a5bd..8b56ebee7 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -1408,7 +1408,6 @@ clean_trail(Term t)
 
   pbase = B->cp_tr;
   pt1 = TR - 1;
-  fprintf(stderr,"pbase=%p TR=%p\n",pbase,TR);
   while (pt1 >= pbase) {
     Term d1 = TrailTerm(pt1);
     if (IsVarTerm(d1)) {