Exemple #1
0
void operator delete(void *ptr, pmemory_pool *pool)
{
	if (ptr != NULL)
		pfree_raw(ptr);
}
Exemple #2
0
void operator delete(void *ptr, pmemory_pool *pool)
{
	//printf("here delete\n");
	if (ptr != NULL)
		pfree_raw(ptr);
}