diff --git a/unison b/unison
index d85de688..3257bad5 160000
--- a/unison
+++ b/unison
@@ -1 +1 @@
-Subproject commit d85de68861c65d6419a6ac9df8022400adb27f4d
+Subproject commit 3257bad5503f30d9c97d961e9bc6633162b2cf96