add more classes to snapshotting region

[model-checker.git] / threads.h

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