diff --git a/external/trecpp b/external/trecpp
index a2be1615d..c01d5b9fa 160000
--- a/external/trecpp
+++ b/external/trecpp
@@ -1 +1 @@
-Subproject commit a2be1615d42864426e35f40b3e3fa72694a0a142
+Subproject commit c01d5b9fa12ef91a2dfb5f68530f1ec0654e4f93