From 855ee8d37f311b468c62418f12349156b7bd6548 Mon Sep 17 00:00:00 2001
From: "Felipe R. Monteiro" <felisous@amazon.com>
Date: Wed, 1 Dec 2021 15:33:31 +0000
Subject: [PATCH] Upgrade CBMC templates submodule

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
---
 verification/cbmc/templates | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verification/cbmc/templates b/verification/cbmc/templates
index 7fdd7048b..fdbf54250 160000
--- a/verification/cbmc/templates
+++ b/verification/cbmc/templates
@@ -1 +1 @@
-Subproject commit 7fdd7048b01e68fd549e20da1d216e34d719043a
+Subproject commit fdbf54250243dfa4c23db47e26fd059958387733