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