diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 83b2686e7..765139fee 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 83b2686e71327c73bc8a12afa5e09760351152b3
+Subproject commit 765139fee737cfce97f268fce340b6f0576d9c27