File 0001-core-Dimacs-remove-set-but-not-used-vars.patch of Package minisat

From fc8deb1c4ac8b0f7d5c20826a055bf25bbeb616e Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Mon, 23 Feb 2026 11:04:55 +0100
Subject: [PATCH] core/Dimacs: remove set but not used vars
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

warning: variable ‘vars’ set but not used [-Wunused-but-set-variable]
---
 minisat/core/Dimacs.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/minisat/core/Dimacs.h b/minisat/core/Dimacs.h
index d5db4139f5c6..10244f2690e2 100644
--- a/minisat/core/Dimacs.h
+++ b/minisat/core/Dimacs.h
@@ -47,7 +47,6 @@ static void readClause(B& in, Solver& S, vec<Lit>& lits) {
 template<class B, class Solver>
 static void parse_DIMACS_main(B& in, Solver& S, bool strictp = false) {
     vec<Lit> lits;
-    int vars    = 0;
     int clauses = 0;
     int cnt     = 0;
     for (;;){
@@ -55,7 +54,7 @@ static void parse_DIMACS_main(B& in, Solver& S, bool strictp = false) {
         if (*in == EOF) break;
         else if (*in == 'p'){
             if (eagerMatch(in, "p cnf")){
-                vars    = parseInt(in);
+                parseInt(in);
                 clauses = parseInt(in);
                 // SATRACE'06 hack
                 // if (clauses > 4000000)
-- 
2.53.0