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

diff --git a/mymemory.h b/mymemory.h
index b200ae0..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);
@@ -35,7 +33,7 @@ void MYFREE(void *ptr);
 void system_free( void * ptr );
 void *system_malloc( size_t size );
 
-/** @brief Provides a non-snapshotting allocators for a STL class.
+/** @brief Provides a non-snapshotting allocator for use in STL classes.
  *
  * The code was adapted from a code example from the book The C++
  * Standard Library - A Tutorial and Reference by Nicolai M. Josuttis,
@@ -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: