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