diff --git a/tool-wrapper.inc b/tool-wrapper.inc
index addc406..b514376 100755
--- a/tool-wrapper.inc
+++ b/tool-wrapper.inc
@@ -10,7 +10,7 @@ OPTIONS["unreach_call"]=""
 OPTIONS["termination"]=""
 OPTIONS["overflow"]="--signed-overflow-check --no-assertions"
 OPTIONS["memsafety"]="--pointer-check --memory-leak-check --bounds-check --no-assertions"
-OPTIONS["memcleanup"]="--pointer-check --memory-leak-check --bounds-check --no-assertions"
+OPTIONS["memcleanup"]="--pointer-check --memory-leak-check --memory-cleanup-check --bounds-check --no-assertions"
 
 parse_property_file()
 {