Two small changes by Jonathan Neuschäfer: one that fixes a memory leak

in an example, and one that removes an already completed TODO item.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166582 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 3 insertions, 0 deletions

diff --git a/examples/sort/sort.c b/examples/sort/sort.c
index 62e4124e..a72ccf1e 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() {