diff --git a/patt b/patt
index 8dc3831..8d5ce7c 160000
--- a/patt
+++ b/patt
@@ -1 +1 @@
-Subproject commit 8dc3831099233f1bc5aa64cdf7c4b214b85ca02d
+Subproject commit 8d5ce7ccaee646de5afb9831a4413a3b4b0a623f