diff --git a/mods/solver b/mods/solver
index 5802d45a7f..85a607228d 160000
--- a/mods/solver
+++ b/mods/solver
@@ -1 +1 @@
-Subproject commit 5802d45a7f6541d90fed4d7a057cbe2673a42977
+Subproject commit 85a607228d25fb6fe6821d49b0e9cb8ca521a23b