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

diff --git a/mymemory.h b/mymemory.h
index aaf54c39..567ff936 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -24,7 +24,7 @@
 	void operator delete[](void *p, size_t size) { \
 		model_free(p); \
 	} \
-	void * operator new(size_t size, void *p) {				/* placement new */ \
+	void * operator new(size_t size, void *p) {	/* placement new */ \
 		return p; \
 	}
 
@@ -43,13 +43,14 @@
 	void operator delete[](void *p, size_t size) { \
 		snapshot_free(p); \
 	} \
-	void * operator new(size_t size, void *p) {				/* placement new */ \
+	void * operator new(size_t size, void *p) {	/* placement new */ \
 		return p; \
 	}
 
 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);
@@ -264,4 +265,4 @@ extern mspace model_snapshot_space;
 };	/* end of extern "C" */
 #endif
 
-#endif/* _MY_MEMORY_H */
+#endif	/* _MY_MEMORY_H */