model: add typedef for list of release sequence heads

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index fb6df12cd6791e85b1553d3c51da3ba89e67e2e2..4c44f5be514c4e8fdd9344f2cee7fb939ca8a3ad 100644 (file)
--- a/mymemory.h
+++ b/mymemory.h
@@ -28,6 +28,7 @@
 #define SNAPSHOTALLOC
 
 void *MYMALLOC(size_t size);
+void *MYCALLOC(size_t count, size_t size);
 void MYFREE(void *ptr);
 
 void system_free( void * ptr );