diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
index 41c333ad..7fdd7048 160000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 41c333ad41ef8fa4ad1b5573ddfc964c8bd2b4a7
+Subproject commit 7fdd7048b01e68fd549e20da1d216e34d719043a