diff --git a/external/libds b/external/libds
index 0271248..c8d733e 160000
--- a/external/libds
+++ b/external/libds
@@ -1 +1 @@
-Subproject commit 02712484729265fa6b5dbe3b40c873ccff1e2bbf
+Subproject commit c8d733e410880e715cd2dfc3e1ba8484ffa23713