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