Undo change as another one is made in PR #9040

This commit is contained in:
Andreas Fabri 2025-09-10 09:23:07 +01:00
parent e84de2cead
commit 978023183c
1 changed files with 2 additions and 1 deletions

View File

@ -232,9 +232,10 @@ public:
void void
initialize_costs() initialize_costs()
{ {
int n=0;
Constraint_iterator cit = pct.constraints_begin(), e = pct.constraints_end(); Constraint_iterator cit = pct.constraints_begin(), e = pct.constraints_end();
for(; cit!=e; ++cit){ for(; cit!=e; ++cit){
initialize_costs(*cit); n+=initialize_costs(*cit);
} }
} }