From a1a16c7dba4575dc3f2193d6fb73d842eda26358 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Thu, 13 Oct 2022 10:02:31 -0400
Subject: [PATCH] Dumped new version of pico sdk submodule.

---
 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 0ad01b3ad..780173e22 160000
--- a/verification/verifast/sdks/pico-sdk
+++ b/verification/verifast/sdks/pico-sdk
@@ -1 +1 @@
-Subproject commit 0ad01b3ad6787cd2acbc9f1e7dba3ac903cb9307
+Subproject commit 780173e22f197ec7481001f45a5daa1ae5d1788a