1 files changed, 6 insertions, 1 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index 1b05f490e..f7d4eff24 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -170,7 +170,7 @@ class ParserBlack : public CxxTest::TestSuite {
       } catch (Exception& e) {
         cout << "\nGood input failed:\n" << goodInputs[i] << endl
              << e << endl;
-        throw e;
+        throw;
       }
 
     }
@@ -226,6 +226,7 @@ class ParserBlack : public CxxTest::TestSuite {
         ( smtParser->parseNextExpression();
           cout << "\nBad expr succeeded: " << badBooleanExprs[i] << endl;, 
           ParserException );
+      delete smtParser;
     }
     //Debug.off("parser");
   }
@@ -235,6 +236,10 @@ public:
     d_exprManager = new ExprManager();
   }
 
+  void tearDown() {
+    delete d_exprManager;
+  }
+
   void testGoodCvc4Inputs() {
     tryGoodInputs(Parser::LANG_CVC4,goodCvc4Inputs,numGoodCvc4Inputs);
   }