From 658c11572389869a78a18b0eff23cbcc484d3d3f Mon Sep 17 00:00:00 2001
From: Antonio <me@antoniomallia.it>
Date: Mon, 17 Jun 2019 18:13:46 -0400
Subject: [PATCH] Fix: issue with using an old version of trecpp

---
 external/trecpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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