diff --git a/modules/external-solver b/modules/external-solver
index 36260ba796..94874d0d60 160000
--- a/modules/external-solver
+++ b/modules/external-solver
@@ -1 +1 @@
-Subproject commit 36260ba79687fcfe4ddb70965a3ec42c19e4bcf2
+Subproject commit 94874d0d60764047ee513d90edf8adaea767ed0a