diff --git a/test/api/c/issue11069.c b/test/api/c/issue11069.c
index 686ceeaec89..6f6153cf99e 100644
--- a/test/api/c/issue11069.c
+++ b/test/api/c/issue11069.c
@@ -1,6 +1,6 @@
 /******************************************************************************
  * Top contributors (to current version):
- *   Andrew Reynolds
+ *   Andrew Reynolds, Daniel Larraz
  *
  * This file is part of the cvc5 project.
  *
@@ -60,5 +60,11 @@ int main()
   result = cvc5_check_sat(slv);
   printf("Result: %s\n", cvc5_result_to_string(result));
   assert(cvc5_result_is_unsat(result));
+
+  cvc5_parser_delete(parser);
+  cvc5_symbol_manager_delete(sm);
+  cvc5_delete(slv);
+  cvc5_term_manager_delete(tm);
+
   return 0;
 }