diff --git a/lib/external/pattern_language b/lib/external/pattern_language index dd4c2b262..f2ecf23bd 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit dd4c2b2620a77397c42354ef7685241a9f510aa4 +Subproject commit f2ecf23bd69c5d3ede2ccc569dcde89bc1c0980d