diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 65fca44f3..900fc4008 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 65fca44f38f61bbaafd6241ac6f17b8f0c1b7369
+Subproject commit 900fc40085d11aefb846edbecebd77ca13ec9f96