From 441244bd2011913ec5c96772fbfb3e738caeb828 Mon Sep 17 00:00:00 2001 From: "Mark R. Tuttle" Date: Wed, 13 Oct 2021 20:23:59 +0000 Subject: [PATCH] Advance template submodule for cbmc proofs to latest version --- test/cbmc/aws-templates-for-cbmc-proofs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs index 7fdd7048b..cc3da9dd3 160000 --- a/test/cbmc/aws-templates-for-cbmc-proofs +++ b/test/cbmc/aws-templates-for-cbmc-proofs @@ -1 +1 @@ -Subproject commit 7fdd7048b01e68fd549e20da1d216e34d719043a +Subproject commit cc3da9dd37d47abce6525128abe12dbb87891637