diff options
Diffstat (limited to 'src/sat/bsat')
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index 2b65170a..180659a4 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1276,6 +1276,7 @@ int sat_solver2_addclause(sat_solver2* s, lit* begin, lit* end, int Id) int maxvar, count, temp; assert( solver2_dlevel(s) == 0 ); assert( begin < end ); + assert( Id != 0 ); // copy clause into storage veci_resize( &s->temp_clause, 0 ); |