diff options
Diffstat (limited to 'src/sat/bsat')
| -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 ) |