X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=mymemory.h;h=567ff936e97d32d0d7c62074b01541234a898531;hp=14b945ab755f1c9f038dd741ca7990a9ade118ea;hb=291ac33e363ce8a7b39441c0fa5c8e44ff84cdc6;hpb=995962127d29a128fa2de578f47953308600b605

diff --git a/mymemory.h b/mymemory.h
index 14b945ab..567ff936 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -50,6 +50,7 @@
 void *model_malloc(size_t size);
 void *model_calloc(size_t count, size_t size);
 void model_free(void *ptr);
+void * model_realloc(void *ptr, size_t size);
 
 void * snapshot_malloc(size_t size);
 void * snapshot_calloc(size_t count, size_t size);