diff --git a/verification/cbmc/aws-c-common b/verification/cbmc/aws-c-common
index 70ed84b5e..fee7aa680 160000
--- a/verification/cbmc/aws-c-common
+++ b/verification/cbmc/aws-c-common
@@ -1 +1 @@
-Subproject commit 70ed84b5e4e167f906e665d1906cd0f0fcc1f676
+Subproject commit fee7aa6800e3f501d80284b723a41160fbfbb396