From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 00:14:18 +0000 (-0700)
Subject: threads: fixup stack allocation (snapshotting...)
X-Git-Tag: pldi2013~392^2~37
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7c46db0a781dc613f9ab66a6d2632bb23e895895;hp=2906f608d81ce100d3771fd04be61722e60a795d;p=model-checker.git

threads: fixup stack allocation (snapshotting...)
---

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