diff --git a/modules/external-solver b/modules/external-solver
index 2ae3518b8cc9e3bb2d8af0206ba1fb9a8acdb01e..8ebbdb63196b9556e90a0c25f30878fb743bc9c9 160000
--- a/modules/external-solver
+++ b/modules/external-solver
@@ -1 +1 @@
-Subproject commit 2ae3518b8cc9e3bb2d8af0206ba1fb9a8acdb01e
+Subproject commit 8ebbdb63196b9556e90a0c25f30878fb743bc9c9