Use malloc to interfer less with normal memory allocation.

This commit is contained in:
Vitor Santos Costa 2010-10-26 10:06:45 +01:00
parent b22094283e
commit a2e6a0157c

View File

@ -148,13 +148,13 @@ static rb_red_blk_node *ProfilerRoot, *ProfilerNil;
static rb_red_blk_node * static rb_red_blk_node *
RBMalloc(UInt size) RBMalloc(UInt size)
{ {
return (rb_red_blk_node *)Yap_AllocCodeSpace(size); return (rb_red_blk_node *)malloc(size);
} }
static void static void
RBfree(rb_red_blk_node *ptr) RBfree(rb_red_blk_node *ptr)
{ {
Yap_FreeCodeSpace((char *)ptr); free((char *)ptr);
} }
static rb_red_blk_node * static rb_red_blk_node *