diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 5068b587f..20b1880da 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 5068b587fa2d711c79f9c5517eb41809cc5d73e3
+Subproject commit 20b1880da8daa9db4e7621dc34dac960d50bcce3