X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.h;h=fb6df12cd6791e85b1553d3c51da3ba89e67e2e2;hb=84e24d516d4e9dbd30f1fff7e9a185d1540d20eb;hp=56e690436d1e573da00bf287e6aff2388f476c0c;hpb=cf7518cb8c2d9cd3033ca7540ea9dc448b21912a;p=model-checker.git

diff --git a/mymemory.h b/mymemory.h
index 56e6904..fb6df12 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,7 +25,6 @@
 
 /** SNAPSHOTALLOC declares the allocators for a class to allocate
  *	memory in the snapshotting heap. */
-
 #define SNAPSHOTALLOC
 
 void *MYMALLOC(size_t size);
@@ -45,7 +43,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: