Merge remote-tracking branch 'origin/v9-minor'

scipopt · Oct 31, 2024 · 19a9fcf · 19a9fcf
2 parents c782589 + 39ba04d
commit 19a9fcf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/scip/cons_pseudoboolean.c b/src/scip/cons_pseudoboolean.c
@@ -3946,7 +3946,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 )