From a2e6a0157c31b71aa61c3a04161757f37013e716 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 26 Oct 2010 10:06:45 +0100
Subject: [PATCH] Use malloc to interfer less with normal memory allocation.

---
 C/gprof.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/C/gprof.c b/C/gprof.c
index 6c46b8dec..6aaed9893 100755
--- a/C/gprof.c
+++ b/C/gprof.c
@@ -148,13 +148,13 @@ static rb_red_blk_node *ProfilerRoot, *ProfilerNil;
 static rb_red_blk_node *
 RBMalloc(UInt size)
 {
-  return (rb_red_blk_node *)Yap_AllocCodeSpace(size);
+  return (rb_red_blk_node *)malloc(size);
 }
 
 static void
 RBfree(rb_red_blk_node *ptr)
 {
-  Yap_FreeCodeSpace((char *)ptr);
+  free((char *)ptr);
 }
 
 static rb_red_blk_node *