diff --git a/external/src/robin-hood-hashing b/external/src/robin-hood-hashing
index 7f87d77..4213dd1 160000
--- a/external/src/robin-hood-hashing
+++ b/external/src/robin-hood-hashing
@@ -1 +1 @@
-Subproject commit 7f87d77122d15f76519f2b03f5455df98758e764
+Subproject commit 4213dd109f03b49c68b52074d929e6f221803bed