From 158af97bd0e8ffba79f666c7fc6ddeee24d5feb8 Mon Sep 17 00:00:00 2001
From: "Mark R. Tuttle" <mrtuttle@amazon.com>
Date: Wed, 13 Oct 2021 20:23:59 +0000
Subject: [PATCH] Advance litani submodule for cbmc proofs to latest version

---
 test/cbmc/litani | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/cbmc/litani b/test/cbmc/litani
index 8b23cb74d..53e35c3c1 160000
--- a/test/cbmc/litani
+++ b/test/cbmc/litani
@@ -1 +1 @@
-Subproject commit 8b23cb74d5ca47e0f94ee50bb3da7e907fd48f27
+Subproject commit 53e35c3c1a359aa835899a0f6dae8ac59d2da090