From d7fff36a2bfdecc63d4911ff4d3420712a77d8df Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Fri, 14 Oct 2022 13:10:53 -0400
Subject: [PATCH] Update SMP demo submodule.

---
 verification/verifast/demos/FreeRTOS-SMP-Demos | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verification/verifast/demos/FreeRTOS-SMP-Demos b/verification/verifast/demos/FreeRTOS-SMP-Demos
index c84926ada..345437a81 160000
--- a/verification/verifast/demos/FreeRTOS-SMP-Demos
+++ b/verification/verifast/demos/FreeRTOS-SMP-Demos
@@ -1 +1 @@
-Subproject commit c84926adafd83830f75c3b59c85988a9898b7351
+Subproject commit 345437a815defb4d7ccc549d3f04e7ec0883e8ad