diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix debugging messages.

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-01-21 08:14:30 -06:00
parent 03ed764580
commit 313273cce0
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/c_interface.c
View File

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