X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=bdeea6a0e0c34c573df705d3874f8c81b8e8316b;hb=a2b1ce7713d29dd465afc54660781aa04dc7db59;hp=d00e21228295b0f9bc7f86902a2a9bfcc2577947;hpb=ee410adc01be424c3e5e28f273153afd66a49a83;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index d00e212..bdeea6a 100644
--- a/threads.cc
+++ b/threads.cc
@@ -9,12 +9,12 @@
 
 static void * stack_allocate(size_t size)
 {
-	return userMalloc(size);
+	return MYMALLOC(size);
 }
 
 static void stack_free(void *stack)
 {
-	userFree(stack);
+	MYFREE(stack);
 }
 
 Thread * thread_current(void)