diff --git a/external/Phi b/external/Phi
index 6cbbcba1..ede0a142 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 6cbbcba1ea0e3b6e51b34c168bc527e8fde8659f
+Subproject commit ede0a1426eea5c1be5e3a8b50ba3c579e7f7c644