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