diff --git a/external/Phi b/external/Phi
index 2558e4a3..c97d51e1 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 2558e4a319529fcd59b82d22e7b5e4b27f312421
+Subproject commit c97d51e1a45f5e10978aa554ddfd72006b932d8d