aboutsummaryrefslogtreecommitdiff
path: root/src/crates/library
diff options
context:
space:
mode:
authorAria Shrimpton <me@aria.rip>2024-03-08 17:49:21 +0000
committerAria Shrimpton <me@aria.rip>2024-03-08 17:49:21 +0000
commit1103ebb77e208fb5aee7d105cafb9fa9e3e6dfad (patch)
treebae503319265f1fe046f396ede8cc4520abb1d08 /src/crates/library
parent6db389a0a7800c1a193dd2b983280a15c8319fcf (diff)
more sorteduniquevec fixes
Diffstat (limited to 'src/crates/library')
-rw-r--r--src/crates/library/src/sorted_unique_vector.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/crates/library/src/sorted_unique_vector.rs b/src/crates/library/src/sorted_unique_vector.rs
index ffba865..b974693 100644
--- a/src/crates/library/src/sorted_unique_vector.rs
+++ b/src/crates/library/src/sorted_unique_vector.rs
@@ -147,7 +147,7 @@ impl<T: Ord + PartialEq> Container<T> for SortedUniqueVec<T> {
(define (post-remove xs r) (equal? r (op-remove xs)))
*ENDLIBSPEC*/
fn remove(&mut self, elt: T) -> Option<T> {
- self.v.remove(self.binary_search(elt).ok()?)
+ Some(self.v.remove(self.v.binary_search(&elt).ok()?))
}
fn iter<'a>(&'a self) -> impl Iterator<Item = &'a T>