From e64d0e0ca860543ebcefa2a5de7f7de0c634159c Mon Sep 17 00:00:00 2001
From: Louis Dureuil <louis@meilisearch.com>
Date: Thu, 1 Aug 2024 18:32:45 +0200
Subject: [PATCH] use insert instead of push for bitmaps

---
 milli/src/update/index_documents/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/milli/src/update/index_documents/mod.rs b/milli/src/update/index_documents/mod.rs
index 39919d94a..87c6bc6db 100644
--- a/milli/src/update/index_documents/mod.rs
+++ b/milli/src/update/index_documents/mod.rs
@@ -290,7 +290,7 @@ where
 
                 match result? {
                     DocumentEdition::Deleted(docid) => {
-                        documents_to_remove.push(docid);
+                        documents_to_remove.insert(docid);
                     }
                     DocumentEdition::Edited(new_document) => {
                         documents_batch_builder.append_json_object(&new_document)?;