deallocate()

void deallocate	(	pointer	p,
		size_type
	)

Deallocates a pointed memory.

Parameters

p	is a pointer to the memory to be deallocated.