diff --git a/libcork b/libcork
index 0220aa5a..5b85948e 160000
--- a/libcork
+++ b/libcork
@@ -1 +1 @@
-Subproject commit 0220aa5a2d11b7484b4aa464024ba8b6942d646f
+Subproject commit 5b85948ec650f8e4584028f71018a2c0de2aae04