From 1103ebb77e208fb5aee7d105cafb9fa9e3e6dfad Mon Sep 17 00:00:00 2001
From: Aria Shrimpton <me@aria.rip>
Date: Fri, 8 Mar 2024 17:49:21 +0000
Subject: more sorteduniquevec fixes

---
 src/crates/library/src/sorted_unique_vector.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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>
-- 
cgit v1.2.3