diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 089a34f50..9b180ab01 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 089a34f5073f63c41822561ea49d2d0248b55dbd
+Subproject commit 9b180ab01d89d3c73fd8357fea5f65b9dcdee259