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

scip-ci · scip-ci · commit ec9c67da71d6 · 2025-04-29T09:24:14.000+02:00
diff --git a/src/scip/reader.c b/src/scip/reader.c
@@ -430,7 +430,7 @@ SCIP_RETCODE SCIPreaderWrite(
       {
          nduplicates = 0;
 
-         for( i = 0; i < SCIPprobGetNConss(prob); ++i )
+         for( i = 0; i < nconss; ++i )
          {
             if( conss[i] != (SCIP_CONS*) SCIPprobFindCons(prob, (void*) SCIPconsGetName(conss[i])) )
             {

Original file line number	Diff line number	Diff line change
`@@ -430,7 +430,7 @@ SCIP_RETCODE SCIPreaderWrite(`
`430`	`430`	`{`
`431`	`431`	`nduplicates = 0;`
`432`	`432`
`433`		`- for( i = 0; i < SCIPprobGetNConss(prob); ++i )`
	`433`	`+ for( i = 0; i < nconss; ++i )`
`434`	`434`	`{`
`435`	`435`	`if( conss[i] != (SCIP_CONS) SCIPprobFindCons(prob, (void) SCIPconsGetName(conss[i])) )`
`436`	`436`	`{`