No need for algorithm here

msoos · msoos · commit 3d1b91bcf3ca · 2025-03-04T02:50:06.000+01:00
diff --git a/src/solvertypesmini.h b/src/solvertypesmini.h
@@ -30,7 +30,6 @@ THE SOFTWARE.
 #include <vector>
 #include <array>
 #include <gmpxx.h>
-#include <algorithm>
 
 namespace CMSat {
 
