Updated aws-templates-for-cbmc-proofs submodule (#105)

ronakfof · web-flow · commit 830f12c443f5 · 2021-08-19T10:24:56.000-07:00
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 41c333ad41ef8fa4ad1b5573ddfc964c8bd2b4a7
+Subproject commit 7fdd7048b01e68fd549e20da1d216e34d719043a
