diff --git a/org.alloytools.satsolver.provider/extern/minisat/minisat b/org.alloytools.satsolver.provider/extern/minisat/minisat
index 37dc6c67e..3db58943b 160000
--- a/org.alloytools.satsolver.provider/extern/minisat/minisat
+++ b/org.alloytools.satsolver.provider/extern/minisat/minisat
@@ -1 +1 @@
-Subproject commit 37dc6c67e2af26379d88ce349eb9c4c6160e8543
+Subproject commit 3db58943b6ffe855d3b8c9a959300d9a148ab554