diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-31 21:18:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-31 21:18:39 -0700 |
| commit | e3e4a987925879bd6d116733194d93ccf0527c62 (patch) | |
| tree | c5a7fad999fce9544535d60c87607092c218e04d /src/sat | |
| parent | dc56a65582a911ebfa4befcf57fe0ae722bff9d8 (diff) | |
| download | abc-e3e4a987925879bd6d116733194d93ccf0527c62.tar.gz abc-e3e4a987925879bd6d116733194d93ccf0527c62.tar.bz2 abc-e3e4a987925879bd6d116733194d93ccf0527c62.zip | |
Scalable gate-level abstraction.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satProof2.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satProof2.h b/src/sat/bsat/satProof2.h index 82ed9264..25ad0d07 100644 --- a/src/sat/bsat/satProof2.h +++ b/src/sat/bsat/satProof2.h @@ -239,7 +239,7 @@ static inline void Prf_ManChainResolve( Prf_Man_t * p, clause * c ) } else // problem clause { - if ( clause_id(c) ) // has proof ID + if ( clause_id(c) >= 0 ) // has proof ID { int Entry; if ( p->vId2Pr == NULL ) |