display reference count in DBRef.

This commit is contained in:
Vitor Santos Costa 2010-11-01 21:28:18 +00:00
parent 362ecc2f16
commit 2f3d762f80

View File

@ -24,6 +24,7 @@ static char SccsId[] = "%W% %G%";
#include "Yatom.h" #include "Yatom.h"
#include "YapHeap.h" #include "YapHeap.h"
#include "yapio.h" #include "yapio.h"
#include "clause.h"
#if COROUTINING #if COROUTINING
#include "attvar.h" #include "attvar.h"
#endif #endif
@ -264,9 +265,9 @@ wrputref(CODEADDR ref, int Quote_illegal, wrf writewch) /* writes a data base
putAtom(AtomDBref, Quote_illegal, writewch); putAtom(AtomDBref, Quote_illegal, writewch);
#if defined(__linux__) || defined(__APPLE__) #if defined(__linux__) || defined(__APPLE__)
sprintf(s, "(%p,0)", ref); sprintf(s, "(%p," UInt_FORMAT ")", ref, ((LogUpdClause*)ref)->ClRefCount);
#else #else
sprintf(s, "(0x%p,0)", ref); sprintf(s, "(0x%p," UInt_FORMAT ")", ref, ((LogUpdClause*)ref)->ClRefCount);
#endif #endif
wrputs(s, writewch); wrputs(s, writewch);
lastw = alphanum; lastw = alphanum;