Upgrades aws-templates-for-cbmc-proofs version

feliperodri · karkhaz · commit 04edabb53fda · 2021-04-20T15:39:36.000+01:00
Signed-off-by: Felipe R. Monteiro &lt;felisous@amazon.com&gt;
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
@@ -1 +1 @@
-Subproject commit 27fdd8ee01705d917bcf0a3c37ff687779a87bda
+Subproject commit 8f2dafc1db539ca97b6f4b8533f069e176c11b1c
