diff --git a/extern/coco b/extern/coco
index 6964883..af0cd25 160000
--- a/extern/coco
+++ b/extern/coco
@@ -1 +1 @@
-Subproject commit 6964883a1315055292e776cc9d189d5101f8138d
+Subproject commit af0cd25280aac448561043311d076a57e0bdd87a