diff --git a/External/Pearl b/External/Pearl
index b8cf787a..bf632ec1 160000
--- a/External/Pearl
+++ b/External/Pearl
@@ -1 +1 @@
-Subproject commit b8cf787af604299c5363846c5b2fcbd9e3083253
+Subproject commit bf632ec1c6ec6a1b3037a0933cede0c64fae68a3