diff --git a/external/robin-map b/external/robin-map
index 784245b4978..d37a41003bf 160000
--- a/external/robin-map
+++ b/external/robin-map
@@ -1 +1 @@
-Subproject commit 784245b49780f218996573c521c88aaae4960913
+Subproject commit d37a41003bfbc7e12e34601f93c18ca2ff6d7c07