From 8ef03612b54e14bfbb7dce0db4f825543b11c492 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Wed, 12 Oct 2022 11:07:19 -0400
Subject: [PATCH] Update pico sdk submodule to resolve VF parse errors.

---
 verification/verifast/sdks/pico-sdk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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