diff --git a/external/Phi b/external/Phi
index 78adfde8..2558e4a3 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 78adfde84b1d7999ce0ae390fb5ee5370b0cfa54
+Subproject commit 2558e4a319529fcd59b82d22e7b5e4b27f312421