diff --git a/verification/verifast/sdks/pico-sdk b/verification/verifast/sdks/pico-sdk
index 0ad01b3ad..780173e22 160000
--- a/verification/verifast/sdks/pico-sdk
+++ b/verification/verifast/sdks/pico-sdk
@@ -1 +1 @@
-Subproject commit 0ad01b3ad6787cd2acbc9f1e7dba3ac903cb9307
+Subproject commit 780173e22f197ec7481001f45a5daa1ae5d1788a