remove debugging message.

2009-05-05 10:15:34 -05:00 · 2009-05-05 10:15:34 -05:00 · 0cd9009132
parent 32b08082f7
commit 0cd9009132
1 changed files with 0 additions and 1 deletions
--- 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)) {