* src/mm/dumpmemory.hpp: Some reformatting.

[cacao.git] / src / mm / dumpmemory.hpp

diff --git a/src/mm/dumpmemory.hpp b/src/mm/dumpmemory.hpp
index 999b8d1954488e7bd4bea5a6dc85ac4a4c22f3bf..829c3918cdabc9b5a071bcb43453b1a684856c9c 100644 (file)
--- a/src/mm/dumpmemory.hpp
+++ b/src/mm/dumpmemory.hpp
@@ -149,20 +149,13 @@ public:
                typedef DumpMemoryAllocator<U> other;
        };
 
-       /* constructors and destructor
-        * - nothing to do because the allocator has no state
-        */
-       DumpMemoryAllocator() throw() {
-       }
-
-       DumpMemoryAllocator(const DumpMemoryAllocator&) throw() {
-       }
+       // Constructors and destructor, nothing to do because the
+       // allocator has no state.
+       DumpMemoryAllocator() throw() {}
+       DumpMemoryAllocator(const DumpMemoryAllocator&) throw() {}
+       template <class U> DumpMemoryAllocator(const DumpMemoryAllocator<U>&) throw() {}
 
-       template <class U> DumpMemoryAllocator(const DumpMemoryAllocator<U>&) throw() {
-       }
-
-       ~DumpMemoryAllocator() throw() {
-       }
+       ~DumpMemoryAllocator() throw() {}
 
        pointer allocate(size_type n, void* = 0) {
 //             printf("allocate: n=%d * %d\n", n, sizeof(T));