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

scipopt · Aug 7, 2024 · c60c8b2 · c60c8b2
2 parents 3ec4a8e + 92a6a75
commit c60c8b2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/scip/cons_pseudoboolean.c b/src/scip/cons_pseudoboolean.c
@@ -7686,7 +7686,6 @@ SCIP_RETCODE addSymmetryInformation(
       return SCIP_OKAY;
    } /*lint !e788*/
    assert(tmpvars != NULL);
-   assert(tmpvals != NULL);
    for( i = 0; i < tmpnvars; ++i )
       vars[i] = tmpvars[i];
    constant = 0.0;