diff --git a/External/Pearl b/External/Pearl
index fc4c3f31..b0aa9460 160000
--- a/External/Pearl
+++ b/External/Pearl
@@ -1 +1 @@
-Subproject commit fc4c3f31af6433e7c74eba36c11c53047bc0c2d2
+Subproject commit b0aa94609a712b8bbd220277f0d928ba2a976fd8