X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=44985fa3aebc0d3fc32f97c0606b3c7ef11154a8;hb=d70f6f259c9850e5fceb527e3a9541c440c0146b;hp=5c11d473a34d5420c6b1a01e109f9f619355058f;hpb=421c3af5d7265b26a4c946a710f2acd986c5d78a;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 5c11d47..44985fa 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -7,7 +7,6 @@
 
 #include "mymemory.h"
 #include "snapshot.h"
-#include "snapshotimp.h"
 #include "common.h"
 
 #define REQUESTS_BEFORE_ALLOC 1024