diff --git a/external/Phi b/external/Phi
index 0f11603c..a18f8547 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 0f11603c216bc49f9125569fb5c02632bb1a1ea5
+Subproject commit a18f85471209025b56c5396d8841798e8b5509d9