snapshot: remove #include, use snapshot_id typedef
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:23:44 +0000 (18:23 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 01:23:44 +0000 (18:23 -0700)
snapshot.cc

index cdc2528..01e7201 100644 (file)
@@ -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