move thread stack to thread allocator

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index a0bc02970aa9ff71c6e8e1a04f6565d52b6db43a..a06af84636978f1bbd31f960c0c2368d79fc609a 100644 (file)
--- 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);
 }
 
 /**