From e64d24cc8d315f68951b6f2fbe8e7d63696f939e Mon Sep 17 00:00:00 2001 From: Stefan Vigerske Date: Thu, 31 Oct 2024 11:17:07 +0100 Subject: [PATCH] allow for 0 and conss - can happen if pseudoboolean conss have no terms --- src/scip/cons_pseudoboolean.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scip/cons_pseudoboolean.c b/src/scip/cons_pseudoboolean.c index b32b55603c..78f1235e1c 100644 --- a/src/scip/cons_pseudoboolean.c +++ b/src/scip/cons_pseudoboolean.c @@ -3968,7 +3968,7 @@ SCIP_RETCODE computeConsAndDataChanges( allconsanddatas = conshdlrdata->allconsanddatas; assert(allconsanddatas != NULL); - assert(conshdlrdata->nallconsanddatas > 0); + assert(conshdlrdata->nallconsanddatas >= 0); assert(conshdlrdata->nallconsanddatas <= conshdlrdata->sallconsanddatas); for( c = conshdlrdata->nallconsanddatas - 1; c >= 0; --c )