diff --git a/external/Phi b/external/Phi
index e9ad6d97..4fa1f73f 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit e9ad6d97351586e8260268bfafc726afa09b02c6
+Subproject commit 4fa1f73f498ced51c4d728bfac01c8c839dd9e73