diff --git a/external/Phi b/external/Phi
index 913b903f..c18e5d48 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 913b903f90e1b98bc184cb483f81029d41e377f3
+Subproject commit c18e5d4819741179e579445ecff4304afb7c76f4