diff --git a/src/seal_bfv.cpp b/src/seal_bfv.cpp
index 9f9af91..8290db7 100644
--- a/src/seal_bfv.cpp
+++ b/src/seal_bfv.cpp
@@ -90,13 +90,9 @@ void seal_context::noise_budget(ciphertext ct, std::size_t& budget) const {
 
 namespace homcert::bfv {
 
-seal_context::seal_context() {
-	throw bfv_exception(bfv_exception::REASON::CTX_NOT_IMPLEMENTED, "BFV context for Microsoft SEAL is not implemented");
-}
+seal_context::seal_context() {}
 
-seal_context::~seal_context() {
-	throw bfv_exception(bfv_exception::REASON::CTX_NOT_IMPLEMENTED, "BFV context for Microsoft SEAL is not implemented");
-}
+seal_context::~seal_context() {}
 
 void seal_context::new_components(int components) {
 	throw bfv_exception(bfv_exception::REASON::CTX_NOT_IMPLEMENTED, "BFV context for Microsoft SEAL is not implemented");