diff --git a/external/Phi b/external/Phi
index 17ddede4..78adfde8 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 17ddede452d847842f057f3470ca23b6c3c372b3
+Subproject commit 78adfde84b1d7999ce0ae390fb5ee5370b0cfa54