diff options
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlc.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/wlc/wlc.c b/src/base/wlc/wlc.c index 08e62e6f..6f0890e2 100644 --- a/src/base/wlc/wlc.c +++ b/src/base/wlc/wlc.c @@ -163,10 +163,6 @@ void Wlc_BlastFullAdderCtrlCnf( sat_solver * pSat, int a, int ac, int b, int c, int i, v, nLits, pLits[6]; for ( i = 0; i < 12; i++ ) { - if ( i == 7 ) - { - int x = 0; - } nLits = 0; for ( v = 0; v < 6; v++ ) { |