diff --git a/external/Phi b/external/Phi
index c18e5d48..bf84328e 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit c18e5d4819741179e579445ecff4304afb7c76f4
+Subproject commit bf84328e464b74da907908e281344c36ee5e7168