wow, this is a nasty bug...

[model-checker.git] / snapshot.h

diff --git a/snapshot.h b/snapshot.h
index 4625c5d5cfaa7c39cd03087462da86858da0c371..819ea0a41b79ca25782b50e9f109df68b35dc041 100644 (file)
--- a/snapshot.h
+++ b/snapshot.h
@@ -2,6 +2,8 @@
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
 #define USE_CHECKPOINTING 1
+/* Size of signal stack */
+#define SIGSTACKSIZE 16384
 
 
 typedef unsigned int snapshot_id;