X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=threads.cc;h=a06af84636978f1bbd31f960c0c2368d79fc609a;hp=a0bc02970aa9ff71c6e8e1a04f6565d52b6db43a;hb=daa5636072c8e6211e33701ae3d399c04e847946;hpb=88fb5522811e0bd481ad3e60b70fe40fbc9c3e0f

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);
 }
 
 /**