diff --git a/cl-bordeaux-threads b/cl-bordeaux-threads
index aa789cf..ded1a76 160000
--- a/cl-bordeaux-threads
+++ b/cl-bordeaux-threads
@@ -1 +1 @@
-Subproject commit aa789cf4681abc82a6c7e109f011488475c6774c
+Subproject commit ded1a76719e05717af3099b76fb059ac841706f5