reformat some doxygen comments, remove newlines

[model-checker.git] / mymemory.h

diff --git a/mymemory.h b/mymemory.h
index 56e690436d1e573da00bf287e6aff2388f476c0c..fb6df12cd6791e85b1553d3c51da3ba89e67e2e2 100644 (file)
--- 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: