Compiler warning.

7e7ba156 · Alan Mishchenko · e7def3d4 · 7e7ba156
Commit 7e7ba156 authored Sep 16, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/glucose/SimpSolver.cpp
+1 -1

No files found.
--- 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)