diff --git a/external/Phi b/external/Phi
index 97cf528b..9d7aeccc 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 97cf528b72d79f37cb9c288c0ad02cc0db916d68
+Subproject commit 9d7aecccb390cca72165f699eed8039fc0179b26