diff --git a/external/Phi b/external/Phi
index aebb1cca..17ddede4 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit aebb1cca2bea9da9d5dd49d7dc00a579f978317a
+Subproject commit 17ddede452d847842f057f3470ca23b6c3c372b3