diff --git a/seal_fhe/SEAL b/seal_fhe/SEAL
index d2b7d16b5..c5425cf3b 160000
--- a/seal_fhe/SEAL
+++ b/seal_fhe/SEAL
@@ -1 +1 @@
-Subproject commit d2b7d16b5c023d39c6fd2dc3dd699f8ac73499ce
+Subproject commit c5425cf3b1a0d3732933b0daa9c7cc10f3a23dc0