From 4960a991711d0d17045bd517c702b0f8ae0cc6de Mon Sep 17 00:00:00 2001
From: rchikhi <rayan.chikhi@univ-lille1.fr>
Date: Fri, 22 May 2020 18:37:58 +0200
Subject: [PATCH] update gatb-core minor

---
 thirdparty/gatb-core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/thirdparty/gatb-core b/thirdparty/gatb-core
index 6dd37da..85335a5 160000
--- a/thirdparty/gatb-core
+++ b/thirdparty/gatb-core
@@ -1 +1 @@
-Subproject commit 6dd37da1b121cc024de477c4b13128d31283e29a
+Subproject commit 85335a59a98f99bdab2b67cf8d31d41d1897a61d