From 5a17bbf61bfd4cbf0c23a0c8183910943f02b79b Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 18:23:44 -0700
Subject: [PATCH] snapshot: remove #include, use snapshot_id typedef

---
 snapshot.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
-- 
2.34.1