diff --git a/external/Phi b/external/Phi
index bf84328e..bc33dd66 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit bf84328e464b74da907908e281344c36ee5e7168
+Subproject commit bc33dd6666bf43c407bb9ab4def5579877e160c3