diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 6c5712b64..96a38710c 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 6c5712b648303fd12bd5387491cc2b71e4f915ef
+Subproject commit 96a38710c76d17aee135507076873b646b14987a