diff --git a/external/Phi b/external/Phi
index c97d51e1..6cbbcba1 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit c97d51e1a45f5e10978aa554ddfd72006b932d8d
+Subproject commit 6cbbcba1ea0e3b6e51b34c168bc527e8fde8659f