X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=mymemory.h;h=4c44f5be514c4e8fdd9344f2cee7fb939ca8a3ad;hp=56e690436d1e573da00bf287e6aff2388f476c0c;hb=70525635cea4c0622d30571c7028c1c293950bb5;hpb=ffc6c2cb448e419c73b8a7aa5a995b5f1a0a5e6e

diff --git a/mymemory.h b/mymemory.h
index 56e6904..4c44f5b 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -9,7 +9,6 @@
 
 /** MEMALLOC declares the allocators for a class to allocate
  *	memory in the non-snapshotting heap. */
-
 #define MEMALLOC \
 	void * operator new(size_t size) { \
 		return MYMALLOC(size);\
@@ -26,10 +25,10 @@
 
 /** SNAPSHOTALLOC declares the allocators for a class to allocate
  *	memory in the snapshotting heap. */
-
 #define SNAPSHOTALLOC
 
 void *MYMALLOC(size_t size);
+void *MYCALLOC(size_t count, size_t size);
 void MYFREE(void *ptr);
 
 void system_free( void * ptr );
@@ -45,7 +44,6 @@ void *system_malloc( size_t size );
  * This software is provided "as is" without express or implied
  * warranty, and with no claim as to its suitability for any purpose.
  */
-
 template <class T>
    class MyAlloc {
      public: