Fix incrementing found_objective(#2139)
This commit is contained in:
parent
382673b173
commit
41ff7438eb
@ -322,7 +322,7 @@ where
|
|||||||
|
|
||||||
/// Adds one objectives to the `objectives_found` counter. Mostly called from crash handler or executor.
|
/// Adds one objectives to the `objectives_found` counter. Mostly called from crash handler or executor.
|
||||||
pub fn found_objective(&mut self) {
|
pub fn found_objective(&mut self) {
|
||||||
let _ = self.objectives_found.saturating_add(1);
|
self.objectives_found = self.objectives_found.saturating_add(1);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user