From 313273cce01d48e6fcb07b320758a6bfb4ce2545 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 21 Jan 2011 08:14:30 -0600
Subject: [PATCH] fix debugging messages.

---
 C/c_interface.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/C/c_interface.c b/C/c_interface.c
index 90946129c..eac1cb109 100755
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -3174,7 +3174,6 @@ YAP_Record(Term t)
   dbt->prev_rec = NULL;
   dbt->dbrecord = dbterm;
   Yap_Records = dbt;
-  fprintf(stderr,"adding %p\n", dbt);
   return dbt;
 }
 
@@ -3182,7 +3181,6 @@ X_API Term
 YAP_Recorded(void *handle)
 {
   Term t;
-  fprintf(stderr,"reading %p\n", handle);
   DBTerm *dbterm = ((DBRecordList *)handle)->dbrecord;
 
   BACKUP_MACHINE_REGS();
@@ -3215,7 +3213,6 @@ YAP_Recorded(void *handle)
 X_API int
 YAP_Erase(void *handle)
 {
-  fprintf(stderr,"erasing %p\n", handle);
   DBRecordList *dbr = (DBRecordList *)handle;
   Yap_ReleaseTermFromDB(dbr->dbrecord);
   if (dbr->next_rec)