diff --git a/external/Phi b/external/Phi
index 2b0fa459..913b903f 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 2b0fa45926176382ef6fd5bb133547a68efb4b98
+Subproject commit 913b903f90e1b98bc184cb483f81029d41e377f3