X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=mymemory.h;fp=mymemory.h;h=6fb2992bd4e4e93abce31d6002957830575c7081;hp=bb313928fbab6a04138afea45cbef9face71b1f3;hb=7742256df627848c1c375f979f5369a45c92057b;hpb=25d73096cfc14c655f94b01bb235cc5efd1d5696

diff --git a/mymemory.h b/mymemory.h
index bb313928..6fb2992b 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -57,6 +57,9 @@ void * snapshot_calloc(size_t count, size_t size);
 void * snapshot_realloc(void *ptr, size_t size);
 void snapshot_free(void *ptr);
 
+typedef void * mspace;
+extern mspace sStaticSpace;
+
 void * Thread_malloc(size_t size);
 void Thread_free(void *ptr);