From: Brian Norris <banorris@uci.edu>
Date: Thu, 14 Jun 2012 05:08:57 +0000 (-0700)
Subject: snapshot: move comments to the right place
X-Git-Tag: pldi2013~391^2~35
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a3f05670b26d1b645b8d2d6649f70cc1d2a6733b;p=model-checker.git

snapshot: move comments to the right place
---

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