From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 18:32:56 +0000 (-0700)
Subject: mymemory: fix indentation, spacing
X-Git-Tag: pldi2013~407
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ef6f315a9ca3e965cf6bef3142ddd3f33ffa3e95;p=model-checker.git

mymemory: fix indentation, spacing
---

diff --git a/mymemory.h b/mymemory.h
index 2bec138..616b155 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -2,22 +2,23 @@
 #define _MY_MEMORY_H
 #include <stdlib.h>
 #include <limits>
-#define MEMALLOC void *operator new( size_t size ){ \
-																	return MYMALLOC( size );\
-																	}\
-							   void operator delete( void *p, size_t size ){ \
-																	MYFREE( p ); \
-																	}\
-                 void *operator new[]( size_t size ){ \
-                                  return MYMALLOC( size );\
-                                  }\
-                 void operator delete[]( void *p, size_t size ){\
-                                  MYFREE( p );\
-                                  }
-
+#define MEMALLOC \
+	void * operator new(size_t size) { \
+		return MYMALLOC(size);\
+	}\
+	void operator delete(void *p, size_t size) { \
+		MYFREE( p ); \
+	}\
+	void * operator new[](size_t size) { \
+		return MYMALLOC(size);\
+	}\
+	void operator delete[](void *p, size_t size) {\
+		MYFREE(p);\
+	}
 
 void *MYMALLOC(size_t size);
 void MYFREE(void *ptr);
+
 /*
 The following code example is taken from the book
 The C++ Standard Library - A Tutorial and Reference