projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git]
/
src
/
mymemory.h
diff --git
a/src/mymemory.h
b/src/mymemory.h
index 92fb0fed609057c3fd40132bcf507986489133cd..97e177ce07a626a24bbdbb73bb46c2e08d7992fc 100644
(file)
--- a/
src/mymemory.h
+++ b/
src/mymemory.h
@@
-19,6
+19,8
@@
#include "config.h"
+#define SATCHECK_CONFIG
+
/*
void * ourmalloc(size_t size);
void ourfree(void *ptr);