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

scipopt · Nov 1, 2024 · d9a805e · d9a805e
2 parents 4e4be43 + c84627b
commit d9a805e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/scip/cons_pseudoboolean.c b/src/scip/cons_pseudoboolean.c
@@ -4976,6 +4976,9 @@ SCIP_RETCODE correctConshdlrdata(
    assert(conshdlrdata != NULL);
    assert(ndelconss != NULL);
 
+   if( conshdlrdata->nallconsanddatas == 0 )
+      return SCIP_OKAY;
+
    allconsanddatas = conshdlrdata->allconsanddatas;
    assert(allconsanddatas != NULL);
    assert(conshdlrdata->nallconsanddatas >= 1);