From fe1a16e9b43e841b740048b142dbb619175457ed Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 31 Aug 2012 18:45:10 -0700 Subject: Changes to allow &gla to run with fSimple = 1 (useful for debugging). --- src/sat/bsat/satSolver2.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/sat') 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 ); -- cgit v1.2.3