diff --git a/External/Pearl b/External/Pearl
index 08540e39..80c57a94 160000
--- a/External/Pearl
+++ b/External/Pearl
@@ -1 +1 @@
-Subproject commit 08540e3945ff52d6cdc6f1cb3aca06d195df90fa
+Subproject commit 80c57a94fdcafb90cccd7371b175a5c56ac7571f