diff --git a/mods/solver b/mods/solver
index 5802d45a7f..000f54adaa 160000
--- a/mods/solver
+++ b/mods/solver
@@ -1 +1 @@
-Subproject commit 5802d45a7f6541d90fed4d7a057cbe2673a42977
+Subproject commit 000f54adaadf3670414cbe7b1c94586c03e885f4