diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 7bc82d715..173fed318 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 7bc82d7154b30ffdf1578038eb32ff0c31bdc43f
+Subproject commit 173fed3182b2b2d82f952f41cc9d9ce2d19fa2e7