diff --git a/external/Phi b/external/Phi
index 4787424c..0a7a621c 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 4787424cec1780ac1466bea922c2076836dca7da
+Subproject commit 0a7a621c634d7473dd7853e633015e918154d327