X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;fp=mymemory.cc;h=23f448f3b1dfefb04b2a55b96913adab54967f61;hb=dda2d5d103b32f8505374712936af1daf42ec061;hp=bbddf7e2f100d9664231223f211a78538e7bb414;hpb=4e8a7fe4f03effc4895ec66cd3662c2ed8ebb6fa;p=satcheck.git

diff --git a/mymemory.cc b/mymemory.cc
index bbddf7e..23f448f 100644
--- 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)
 {
-	if (!DontFree(ptr))
+	if (!DontFree(ptr)) {
 		if (switch_alloc) {
 			model_free(ptr);
 		} else {
 			mspace_free(user_snapshot_space, ptr);
 		}
+	}
 }
 
 /** @brief Snapshotting realloc implementation for user programs */