X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=378f53b5496f131926dff662cf276edbce594195;hb=a3f05670b26d1b645b8d2d6649f70cc1d2a6733b;hp=afe02efd851ab39062552f972b3f30e91380a6e1;hpb=2cb0055ec1c79bab394bc3b9ef27f783573c6cc8;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index afe02ef..378f53b 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -17,8 +17,9 @@
 #include <sys/wait.h>
 #include <ucontext.h>
 
-//extern declaration definition
 #define FAILURE(mesg) { printf("failed in the API: %s with errno relative message: %s\n", mesg, strerror( errno ) ); exit(EXIT_FAILURE); }
+
+/* extern declaration definition */
 #if USE_MPROTECT_SNAPSHOT
 struct SnapShot * snapshotrecord = NULL;
 struct Snapshot_t * sTheRecord = NULL;
@@ -42,7 +43,7 @@ static ucontext_t savedSnapshotContext;
 static ucontext_t savedUserSnapshotContext;
 static snapshot_id snapshotid = 0;
 #endif
-/* Initialize snapshot data structure */
+
 #if USE_MPROTECT_SNAPSHOT
 
 /** The initSnapShotRecord method initialized the snapshotting data