snapshot: remove #include, use snapshot_id typedef

diff --git a/snapshot.cc b/snapshot.cc
index cdc2528da14a7a1204b5fd9011a3aaf4c07784e7..01e720113077ace8833d15a8b22849c6ce01c777 100644 (file)
--- 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