Skip to content

Commit

Permalink
.
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Sep 23, 2024
1 parent cb0a56d commit d0d36c2
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -746,7 +746,7 @@ impl<'f> PerFunctionContext<'f> {
if let Some((_, counter)) = remaining_last_stores.get_mut(store_address) {
// TODO this was saturating https://github.com/noir-lang/noir/issues/6124
*counter = counter.wrapping_sub(1);
} }
}
} else if let Some((_, counter)) = remaining_last_stores.get_mut(store_address) {
*counter += 1;
} else {
Expand Down

0 comments on commit d0d36c2

Please sign in to comment.