X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fmymemory.h;h=700fb4f72553957a33259b9e7707e209b797367d;hb=44ac39afe074506f18b8d2c29430cc7d88ace944;hp=e0a60bd13294b871199b826e88c0ea13261c1b3d;hpb=2ea873287511578a00428d0d18f4342d8956d801;p=satune.git

diff --git a/src/mymemory.h b/src/mymemory.h
index e0a60bd..700fb4f 100644
--- a/src/mymemory.h
+++ b/src/mymemory.h
@@ -24,13 +24,13 @@
    void ourfree(void *ptr);
    void * ourcalloc(size_t count, size_t size);
    void * ourrealloc(void *ptr, size_t size);
-*/
+ */
 
-#if 1
-void * model_malloc(size_t size);
+#ifdef SATCHECK_CONFIG
+void *model_malloc(size_t size);
 void model_free(void *ptr);
-void * model_calloc(size_t count, size_t size);
-void * model_realloc(void *ptr, size_t size);
+void *model_calloc(size_t count, size_t size);
+void *model_realloc(void *ptr, size_t size);
 
 
 #define ourmalloc model_malloc