diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 8bab8d3e9..ba3dc71fe 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 8bab8d3e9ab64beacac15d8b6f4015489cfc677c
+Subproject commit ba3dc71fe0fc69734badbffef0623ac9973ec1de