File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed
synthesizer/process/src/stack Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -314,7 +314,7 @@ pub trait FinalizeStorage<N: Network>: 'static + Clone + Send + Sync {
314
314
None => bail ! ( "Illegal operation: program ID '{program_id}' is not initialized - cannot remove mapping." ) ,
315
315
} ;
316
316
// Remove the mapping name.
317
- if !mapping_names. remove ( & mapping_name) {
317
+ if !mapping_names. shift_remove ( & mapping_name) {
318
318
bail ! ( "Illegal operation: mapping '{mapping_name}' does not exist in storage - cannot remove mapping." ) ;
319
319
}
320
320
Original file line number Diff line number Diff line change @@ -418,13 +418,13 @@ impl<N: Network> Stack<N> {
418
418
/// Removes the proving key for the given function name.
419
419
#[ inline]
420
420
pub fn remove_proving_key ( & self , function_name : & Identifier < N > ) {
421
- self . proving_keys . write ( ) . remove ( function_name) ;
421
+ self . proving_keys . write ( ) . shift_remove ( function_name) ;
422
422
}
423
423
424
424
/// Removes the verifying key for the given function name.
425
425
#[ inline]
426
426
pub fn remove_verifying_key ( & self , function_name : & Identifier < N > ) {
427
- self . verifying_keys . write ( ) . remove ( function_name) ;
427
+ self . verifying_keys . write ( ) . shift_remove ( function_name) ;
428
428
}
429
429
}
430
430
You can’t perform that action at this time.
0 commit comments