diff --git a/external/Phi b/external/Phi
index 8139a3ab..e9ad6d97 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 8139a3ab754738eae33746310d7f2a6e64fadecc
+Subproject commit e9ad6d97351586e8260268bfafc726afa09b02c6