From 01924ca118cad9bc8bf84de0525e54f5c4a832ec Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 31 Dec 2016 20:21:46 +0700
Subject: Updates to delay optimization project.

---
 src/opt/sbd/sbdLut.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/opt/sbd/sbdLut.c')

diff --git a/src/opt/sbd/sbdLut.c b/src/opt/sbd/sbdLut.c
index e8aee790..ffcb71f8 100644
--- a/src/opt/sbd/sbdLut.c
+++ b/src/opt/sbd/sbdLut.c
@@ -96,7 +96,6 @@ int Sbd_ProblemAddClauses( sat_solver * pSat, int nVars, int nStrs, int * pVars,
             }
         }
     }
-//printf( "Stop par = %d.\n", VarPar );
     return 1;
 }
 void Sbd_ProblemAddClausesInit( sat_solver * pSat, int nVars, int nStrs, int * pVars, Sbd_Str_t * pStr0 )
-- 
cgit v1.2.3