X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=c8afa8f9465483ab169c644d3b8cec5c86b08a21;hb=ac8e176cd4a8756244c12dbbcaf961d27bfc8a74;hp=51fe2f08de1392dd6fe40cd3757edcf675367c60;hpb=44118f596eb7cd9b4b0b5037fbbf958db001accc;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 51fe2f0..c8afa8f 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -1,15 +1,10 @@
-#include "snapshot-interface.h"
-#include "snapshot.h"
-#include <iostream>
-#include <fstream>
+#include <stdlib.h>
 #include <unistd.h>
-#include <sstream>
 #include <cstring>
-#include <string>
-#include <cassert>
-#include <vector>
-#include <utility>
 #include <inttypes.h>
+
+#include "snapshot-interface.h"
+#include "snapshot.h"
 #include "common.h"
 
 /* MYBINARYNAME only works because our pathname usually includes 'model' (e.g.,