diff --git a/external/Phi b/external/Phi
index 326c5465..e655254f 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 326c5465fd21c98dd2d7591a42a5a08bfdc747bd
+Subproject commit e655254f2a2c0186032eaf3381ff2f854d2f2a04