From 409adde459814fbf6dc04176f987f2b5db7b6466 Mon Sep 17 00:00:00 2001
From: Mark Tuttle <tuttle@acm.org>
Date: Fri, 15 Oct 2021 10:41:30 -0400
Subject: [PATCH] Advance litani submodule for cbmc proofs to latest version
 (#687)

Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
---
 FreeRTOS/Test/litani | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FreeRTOS/Test/litani b/FreeRTOS/Test/litani
index 8b23cb74d5..53e35c3c1a 160000
--- a/FreeRTOS/Test/litani
+++ b/FreeRTOS/Test/litani
@@ -1 +1 @@
-Subproject commit 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f27
+Subproject commit 53e35c3c1a359aa835899a0f6dae8ac59d2da090