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