projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Adding more functions to C API
[satune.git]
/
src
/
mymemory.h
diff --git
a/src/mymemory.h
b/src/mymemory.h
index 700fb4f72553957a33259b9e7707e209b797367d..9708936e9d829934fd2176053ce37361a8edf6cb 100644
(file)
--- a/
src/mymemory.h
+++ b/
src/mymemory.h
@@
-26,7
+26,7
@@
void * ourrealloc(void *ptr, size_t size);
*/
-#if
def SATCHECK_CONFIG
+#if
0
void *model_malloc(size_t size);
void model_free(void *ptr);
void *model_calloc(size_t count, size_t size);