X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fmymemory.h;h=b78eb5427697f887d87c2d034e73227611a3cc6a;hp=766e6f65675464a17840cbaf80bef665a349ead7;hb=138a1efd26b08cc0f55f497509433528b9e3cab3;hpb=57efcd4a2e42b97ab5f564b7b1229612d2c0a793

diff --git a/src/mymemory.h b/src/mymemory.h
index 766e6f6..b78eb54 100644
--- a/src/mymemory.h
+++ b/src/mymemory.h
@@ -19,8 +19,6 @@
 
 #include "config.h"
 
-#define SATCHECK_CONFIG
-
 /*
    void * ourmalloc(size_t size);
    void ourfree(void *ptr);
@@ -28,7 +26,7 @@
    void * ourrealloc(void *ptr, size_t size);
  */
 
-#ifdef SATCHECK_CONFIG
+#if 0
 void *model_malloc(size_t size);
 void model_free(void *ptr);
 void *model_calloc(size_t count, size_t size);
@@ -47,21 +45,21 @@ static inline void *ourcalloc(size_t count, size_t size) { return calloc(count,
 static inline void *ourrealloc(void *ptr, size_t size) { return realloc(ptr, size); }
 #endif
 
-#define CMEMALLOC                           \
-	void *operator new(size_t size) {       \
-		return ourmalloc(size);                \
-	}                                                  \
-	void operator delete(void *p, size_t size) {       \
-		ourfree(p);                                      \
-	}                                                  \
-	void *operator new[](size_t size) {               \
-		return ourmalloc(size);                          \
-	}                                                    \
-	void operator delete[](void *p, size_t size) {       \
-		ourfree(p);                                        \
-	}                                                                     \
-	void *operator new(size_t size, void *p) {															/* placement new */ \
-		return p;                                                           \
+#define CMEMALLOC														\
+	void *operator new(size_t size) {				\
+		return ourmalloc(size);								 \
+	}																									 \
+	void operator delete(void *p, size_t size) {			 \
+		ourfree(p);																			 \
+	}																									 \
+	void *operator new[](size_t size) {								\
+		return ourmalloc(size);													 \
+	}																										 \
+	void operator delete[](void *p, size_t size) {			 \
+		ourfree(p);																				 \
+	}																																			\
+	void *operator new(size_t size, void *p) {															/* placement new */	\
+		return p;																														\
 	}
 
 #endif/* _MY_MEMORY_H */