Fix warning due to catching polymorphic exceptions (#2821)

diff --git a/test/unit/proof/drat_proof_black.h b/test/unit/proof/drat_proof_black.h
index 63c8839b9921fb33bf4a06006db726231efff752..946597bea5318f755c10b74ae2ee78a185f02248 100644 (file)
--- a/test/unit/proof/drat_proof_black.h
+++ b/test/unit/proof/drat_proof_black.h
@@ -81,19 +81,19 @@ void DratProofBlack::testParseLiteralIsTooBig()
 {
   std::string input("a\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x7f\x00",
                     14);
-  TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException);
+  TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException&);
 }
 
 void DratProofBlack::testParseLiteralOverflow()
 {
   std::string input("a\x80", 2);
-  TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException);
+  TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException&);
 }
 
 void DratProofBlack::testParseClauseOverflow()
 {
   std::string input("a\x80\x01", 3);
-  TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException);
+  TS_ASSERT_THROWS(DratProof::fromBinary(input), InvalidDratProofException&);
 }
 
 void DratProofBlack::testParseTwo()