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