mymemory: include some spacing
[model-checker.git] / mymemory.h
index 616b155a1e607144fa850a9f002c059cdd6fc61a..85ef7b0e67528be88d885e85c902723ebe47c5fa 100644 (file)
@@ -2,6 +2,7 @@
 #define _MY_MEMORY_H
 #include <stdlib.h>
 #include <limits>
+
 #define MEMALLOC \
        void * operator new(size_t size) { \
                return MYMALLOC(size);\
@@ -121,4 +122,5 @@ extern mspace mySpace;
 #ifdef __cplusplus
 };  /* end of extern "C" */
 #endif
-#endif
+
+#endif /* _MY_MEMORY_H */