(snapshot) removing mbFinalize and usage of finalize

[model-checker.git] / snapshotimp.h

diff --git a/snapshotimp.h b/snapshotimp.h
index 7ab009ec65c1439cc18f17bccadb31317ad2e0b0..e9f6d8bd50a4ab1493a8d0264c275fdfeade3b8b 100644 (file)
--- a/snapshotimp.h
+++ b/snapshotimp.h
@@ -63,7 +63,6 @@ struct Snapshot {
        snapshot_id mIDToRollback;
        ucontext_t mContextToRollback;
        snapshot_id currSnapShotID;
-       volatile bool mbFinalize;
 };
 extern struct Snapshot * sTheRecord;
 #endif