1 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/api/java/ResultTest.java b/test/unit/api/java/ResultTest.java
index 38e981888..59bd752ca 100644
--- a/test/unit/api/java/ResultTest.java
+++ b/test/unit/api/java/ResultTest.java
@@ -31,6 +31,11 @@ class ResultTest
     d_solver = new Solver();
   }
 
+  @AfterEach void tearDown()
+  {
+    d_solver.close();
+  }
+
   @Test void isNull()
   {
     Result res_null = d_solver.getNullResult();