diff --git a/external/Phi b/external/Phi
index 1f6e3c4d..184641fe 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 1f6e3c4dd17acfda637ec09326530ced1894ba98
+Subproject commit 184641fe6e4ba295d1a4cd2628175f11632bb421