diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 57643899c..a9a93ab56 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 57643899ca04accdd1bdb3a3597f863b02db96cb
+Subproject commit a9a93ab56b7808cb5d551ff94d7bad8a3c963618