diff --git a/third_party/relation b/third_party/relation
index 57a2793..80b1ab2 160000
--- a/third_party/relation
+++ b/third_party/relation
@@ -1 +1 @@
-Subproject commit 57a279386bebeb0c07591dbdcf29c346137e8d53
+Subproject commit 80b1ab295e6990bca6200fd10a9e1058303d0555