From: bdemsky <bdemsky@uci.edu>
Date: Thu, 9 Apr 2015 06:03:47 +0000 (-0700)
Subject: move thread stack to thread allocator
X-Git-Tag: oopsla2015~2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=daa5636072c8e6211e33701ae3d399c04e847946

move thread stack to thread allocator
---

diff --git a/threads.cc b/threads.cc
index a0bc029..a06af84 100644
--- a/threads.cc
+++ b/threads.cc
@@ -16,13 +16,13 @@
 /** Allocate a stack for a new thread. */
 static void * stack_allocate(size_t size)
 {
-	return snapshot_malloc(size);
+	return Thread_malloc(size);
 }
 
 /** Free a stack for a terminated thread. */
 static void stack_free(void *stack)
 {
-	snapshot_free(stack);
+	Thread_free(stack);
 }
 
 /**