From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 01:23:44 +0000 (-0700)
Subject: snapshot: remove #include, use snapshot_id typedef
X-Git-Tag: pldi2013~392^2~28
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=5a17bbf61bfd4cbf0c23a0c8183910943f02b79b;p=model-checker.git

snapshot: remove #include, use snapshot_id typedef
---

diff --git a/snapshot.cc b/snapshot.cc
index cdc2528..01e7201 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -4,7 +4,6 @@
 #include <signal.h>
 #include <stdlib.h>
 #include <map>
-#include <set>
 #include <cstring>
 #include <cstdio>
 #include "snapshot.h"
@@ -41,7 +40,7 @@ void DumpIntoLog( const char * filename, const char * message ){
 #if !USE_CHECKPOINTING
 static ucontext_t savedSnapshotContext;
 static ucontext_t savedUserSnapshotContext;
-static int snapshotid = 0;
+static snapshot_id snapshotid = 0;
 #endif
 /* Initialize snapshot data structure */
 #if USE_CHECKPOINTING