diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 9612e699d..1cf936e7b 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 9612e699de8586e77e8c31d13ea0712552da24ee
+Subproject commit 1cf936e7b3aeb6bb3d993dfc00adff14eebcdbd2