diff options
Diffstat (limited to 'test/unit/api/java/GrammarTest.java')
-rw-r--r-- | test/unit/api/java/GrammarTest.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/api/java/GrammarTest.java b/test/unit/api/java/GrammarTest.java index e9b0d730c..37e1b5206 100644 --- a/test/unit/api/java/GrammarTest.java +++ b/test/unit/api/java/GrammarTest.java @@ -32,6 +32,11 @@ class GrammarTest d_solver = new Solver(); } + @AfterEach void tearDown() + { + d_solver.close(); + } + @Test void addRule() { Sort bool = d_solver.getBooleanSort(); |