From 0b17b488644db667b1f9a6fad5ec60fcf4ec5f6f Mon Sep 17 00:00:00 2001
From: Markus Iser <markus.iser@kit.edu>
Date: Wed, 25 Mar 2020 00:05:09 +0100
Subject: [PATCH] Revert "get rid of unused variable warning"

This reverts commit 21c9420fa4a6df2813e56c616553a70200e0707a.
---
 minisat/core/Dimacs.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/minisat/core/Dimacs.h b/minisat/core/Dimacs.h
index 04e43e18..d5db4139 100644
--- a/minisat/core/Dimacs.h
+++ b/minisat/core/Dimacs.h
@@ -47,7 +47,7 @@ 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 (;;){
@@ -55,7 +55,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);
+                vars    = parseInt(in);
                 clauses = parseInt(in);
                 // SATRACE'06 hack
                 // if (clauses > 4000000)