Revert "get rid of unused variable warning"

This reverts commit 21c9420.
niklasso · Mar 24, 2020 · 0b17b48 · 0b17b48
1 parent 21c9420
commit 0b17b48
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/minisat/core/Dimacs.h b/minisat/core/Dimacs.h
@@ -47,15 +47,15 @@ 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 vars    = 0;
     int clauses = 0;
     int cnt     = 0;
     for (;;){
         skipWhitespace(in);
         if (*in == EOF) break;
         else if (*in == 'p'){
             if (eagerMatch(in, "p cnf")){
-                //vars    = parseInt(in);
+                vars    = parseInt(in);
                 clauses = parseInt(in);
                 // SATRACE'06 hack
                 // if (clauses > 4000000)