X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.cc;h=8bc685c57c146f6bd7767b2476e9d74f6b963ea5;hb=87d6ae25425840ccad0ef6edef6e279967e83be6;hp=e930a33622ce9dbb89463cd77b0447f84de7f45c;hpb=adf77053d498af32ab4c6764b50d4265bed5996c;p=model-checker.git

diff --git a/snapshot.cc b/snapshot.cc
index e930a33..8bc685c 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -3,20 +3,15 @@
 #include <unistd.h>
 #include <signal.h>
 #include <stdlib.h>
-#include "hashtable.h"
-#include <cstring>
-#include <cstdio>
-#include "snapshot.h"
-#include "snapshotimp.h"
-#include "mymemory.h"
-#include <fcntl.h>
-#include <assert.h>
-#include <pthread.h>
-#include <semaphore.h>
+#include <string.h>
 #include <errno.h>
 #include <sys/wait.h>
 #include <ucontext.h>
 
+#include "hashtable.h"
+#include "snapshot.h"
+#include "snapshotimp.h"
+#include "mymemory.h"
 #include "common.h"
 
 #define FAILURE(mesg) { model_print("failed in the API: %s with errno relative message: %s\n", mesg, strerror( errno ) ); exit(EXIT_FAILURE); }