X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot.h;h=47e48b234f0f2f9b980c710186b4eab9117a13e1;hb=HEAD;hp=8d37934b81be0504caa7ed7f8b93df4addc24c23;hpb=421c3af5d7265b26a4c946a710f2acd986c5d78a;p=c11tester.git

diff --git a/snapshot.h b/snapshot.h
index 8d37934b..47e48b23 100644
--- a/snapshot.h
+++ b/snapshot.h
@@ -9,12 +9,6 @@
 #include "config.h"
 #include "mymemory.h"
 
-void addMemoryRegionToSnapShot(void *ptr, unsigned int numPages);
-snapshot_id takeSnapshot();
-void rollBack(snapshot_id theSnapShot);
-
-#if !USE_MPROTECT_SNAPSHOT
 mspace create_shared_mspace();
-#endif
 
 #endif