diff --git a/external/Phi b/external/Phi
index 6655705e..f72e0d22 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 6655705e7439271c785e6f8cdc25c044f4c5a91b
+Subproject commit f72e0d22617233784c3282ded70abfb91630506a