Searched refs:reservation_token2 (Results 1 – 1 of 1) sorted by relevance
168 let reservation_token2 = reservation_token.clone(); in create_reservation() localVariable176 reservations.remove(&reservation_token2); in create_reservation()