From: Brian Norris <banorris@uci.edu>
Date: Thu, 24 May 2012 17:31:50 +0000 (-0700)
Subject: mymemory: include some spacing
X-Git-Tag: pldi2013~400
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c0f9fec33a9cae92285ba0fd598ccf13bd1efffd;p=model-checker.git

mymemory: include some spacing
---

diff --git a/mymemory.h b/mymemory.h
index 616b155..85ef7b0 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -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 */