diff --git a/External/Pearl b/External/Pearl
index 58b820f8..ba3f080a 160000
--- a/External/Pearl
+++ b/External/Pearl
@@ -1 +1 @@
-Subproject commit 58b820f8d54a796aa79c3d130231c5e764c33c6d
+Subproject commit ba3f080a2c5645d3e4af4de1c71a7b7c4420c626