diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 188a8089a..f1ad907a0 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 188a8089a8f23d0cdacc0f6c38384e4f8fe93ef1
+Subproject commit f1ad907a0bc7fd67985d09c914b1a80e2d5b517b