---
examples/sort/sort.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/examples/sort/sort.c b/examples/sort/sort.c
index 62e4124..a72ccf1 100644
--- a/examples/sort/sort.c
+++ b/examples/sort/sort.c
@@ -66,6 +66,9 @@ void test(int *array, unsigned nelem) {
for (unsigned i = 0; i != nelem; ++i)
assert(temp1[i] == temp2[i]);
+
+ free(temp1);
+ free(temp2);
}
int main() {
--
1.7.10.4
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
