Bug fix for printing ...

[satune.git] / src / mymemory.h

diff --git a/src/mymemory.h b/src/mymemory.h
index 700fb4f72553957a33259b9e7707e209b797367d..b78eb5427697f887d87c2d034e73227611a3cc6a 100644 (file)
--- a/src/mymemory.h
+++ b/src/mymemory.h
@@ -26,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);
@@ -45,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 */