fix some allocation/free bugs when we put non objects into table...

[model-checker.git] / snapshotimp.h

diff --git a/snapshotimp.h b/snapshotimp.h
index 7ab009ec65c1439cc18f17bccadb31317ad2e0b0..e5c331a2e5ee765fe7e3ec6d7a4fa189fa6e0b2b 100644 (file)
--- a/snapshotimp.h
+++ b/snapshotimp.h
@@ -53,18 +53,17 @@ struct SnapShot {
        unsigned int maxSnapShots; //Stores the total number of snapshots we allow
 };
 
-//Global reference to snapshot data structure
-extern struct SnapShot * snapshotrecord;
 #else
-struct Snapshot {
+struct SnapShot {
        void *mSharedMemoryBase;
        void *mStackBase;
        size_t mStackSize;
-       snapshot_id mIDToRollback;
+       volatile snapshot_id mIDToRollback;
        ucontext_t mContextToRollback;
        snapshot_id currSnapShotID;
-       volatile bool mbFinalize;
 };
-extern struct Snapshot * sTheRecord;
 #endif
+
+//Global reference to snapshot data structure
+extern struct SnapShot * snapshotrecord;
 #endif