projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Build without warnings
[satcheck.git]
/
mymemory.cc
diff --git
a/mymemory.cc
b/mymemory.cc
index bbddf7e2f100d9664231223f211a78538e7bb414..23f448f3b1dfefb04b2a55b96913adab54967f61 100644
(file)
--- a/
mymemory.cc
+++ b/
mymemory.cc
@@
-239,12
+239,13
@@
void *malloc(size_t size)
/** @brief Snapshotting free implementation for user programs */
void free(void * ptr)
{
/** @brief Snapshotting free implementation for user programs */
void free(void * ptr)
{
- if (!DontFree(ptr))
+ if (!DontFree(ptr))
{
if (switch_alloc) {
model_free(ptr);
} else {
mspace_free(user_snapshot_space, ptr);
}
if (switch_alloc) {
model_free(ptr);
} else {
mspace_free(user_snapshot_space, ptr);
}
+ }
}
/** @brief Snapshotting realloc implementation for user programs */
}
/** @brief Snapshotting realloc implementation for user programs */