X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.h;h=e52c324eb0fb81119d8063625c21387443105b18;hb=9fd8ac15f03e8ca01a20563e06c44b8b93090892;hp=ebe33a3631d3e6815b33ed12b1e47ba972f1a8b1;hpb=a0c3a67cdb4fc43dc08204662a50615174501217;p=model-checker.git

diff --git a/threads.h b/threads.h
index ebe33a3..e52c324 100644
--- a/threads.h
+++ b/threads.h
@@ -33,7 +33,7 @@ public:
 
 	friend void thread_startup();
 
-	MEMALLOC
+	SNAPSHOTALLOC
 private:
 	int create_context();
 	Thread *parent;