diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 02ea6a384..c807dad23 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 02ea6a384989368c43929b00f4f659ee077f1c67
+Subproject commit c807dad236754088f336026e809722a38230868c