diff --git a/modules/external-solver b/modules/external-solver
index cc029f2472..63ac0ce1d8 160000
--- a/modules/external-solver
+++ b/modules/external-solver
@@ -1 +1 @@
-Subproject commit cc029f2472360ff54e32b854bd7b34c48492b0a8
+Subproject commit 63ac0ce1d888c171574c56be04ac0226a47554ed