X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;fp=snapshot-interface.cc;h=c8afa8f9465483ab169c644d3b8cec5c86b08a21;hb=f3f31f82a34dbd625942cbfe13528e91ff64ed4c;hp=51fe2f08de1392dd6fe40cd3757edcf675367c60;hpb=fab8621e4bf6acafc04dbaf786e2de6263d892f6;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.,