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