diff --git a/SEAL b/SEAL
index 206648d..1a5676d 160000
--- a/SEAL
+++ b/SEAL
@@ -1 +1 @@
-Subproject commit 206648d0e4634e5c61dcf9370676630268290b59
+Subproject commit 1a5676d39423d042c3ca0932abee7ddc3c0429a2