X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=mymemory.h;h=bb313928fbab6a04138afea45cbef9face71b1f3;hp=567ff936e97d32d0d7c62074b01541234a898531;hb=25d73096cfc14c655f94b01bb235cc5efd1d5696;hpb=651e9182baf50ef1e235ad7a587730b989bb44c7

diff --git a/mymemory.h b/mymemory.h
index 567ff936..bb313928 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -255,10 +255,6 @@ extern void * mspace_calloc(mspace msp, size_t n_elements, size_t elem_size);
 extern mspace create_mspace_with_base(void* base, size_t capacity, int locked);
 extern mspace create_mspace(size_t capacity, int locked);
 
-#if USE_MPROTECT_SNAPSHOT
-extern mspace user_snapshot_space;
-#endif
-
 extern mspace model_snapshot_space;
 
 #ifdef __cplusplus