Overwriting_Allocator module

deinit_overwriting_allocator

procedureSource

Frees an allocator made by get_overwriting_allocator, along with its records. Memory still allocated from it is not freed.

deinit_overwriting_allocator :: (a: Allocator)

Parameters

a: Allocator

See also