diff --git a/mods/solver b/mods/solver
index 9e07ef8679..f85dc047e8 160000
--- a/mods/solver
+++ b/mods/solver
@@ -1 +1 @@
-Subproject commit 9e07ef86790a7361582f38528c4337def7907d78
+Subproject commit f85dc047e8369985e2e617e78309325b4e1f36fd