diff --git a/third_party/relation b/third_party/relation
index 929ac19..9f88d10 160000
--- a/third_party/relation
+++ b/third_party/relation
@@ -1 +1 @@
-Subproject commit 929ac197fdcb0c495d3ce139d2c5a3ccebedf4e4
+Subproject commit 9f88d10a665efab3eb1d5f9f8da73a6ac1acfbf5