From 7e7ba1562e1c868bd9ece855fb309ea9a409e38d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 16 Sep 2017 14:30:02 -0700
Subject: Compiler warning.

---
 src/sat/glucose/SimpSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/glucose')

diff --git a/src/sat/glucose/SimpSolver.cpp b/src/sat/glucose/SimpSolver.cpp
index 0c6639fb..c097a3ae 100644
--- a/src/sat/glucose/SimpSolver.cpp
+++ b/src/sat/glucose/SimpSolver.cpp
@@ -607,7 +607,7 @@ void SimpSolver::extendModel()
 
 bool SimpSolver::eliminate(bool turn_off_elim)
 {
-    abctime clk = Abc_Clock();
+    //abctime clk = Abc_Clock();
     if (!simplify())
         return false;
     else if (!use_simplification)
-- 
cgit v1.2.3