X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshotimp.h;h=2d18b94dc659e4fe4fb3d42c226e34f30d0878ea;hb=2906f608d81ce100d3771fd04be61722e60a795d;hp=4991845ce37921c4cf1aa1f7d9045b08ca2994a1;hpb=6d6daf85f38b898920a4fa7753c073fb5110ce52;p=model-checker.git

diff --git a/snapshotimp.h b/snapshotimp.h
index 4991845..2d18b94 100644
--- a/snapshotimp.h
+++ b/snapshotimp.h
@@ -61,9 +61,6 @@ size_t mStackSize;
 snapshot_id mIDToRollback;
 ucontext_t mContextToRollback;
 snapshot_id currSnapShotID;
-#if SSDEBUG
-struct timeval startTimeGlobal;
-#endif
 volatile bool mbFinalize;
 };
 extern struct Snapshot_t * sTheRecord;