diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index e706fb313..716dca52b 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit e706fb3134f5966edff3a0ae5053269857befb34
+Subproject commit 716dca52beb5499462dd1d1fa8da7564e24091c0