From 99cfc34f8ef52c2d0a3dc99979ea82713f5c5ec7 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Thu, 11 Jan 2024 16:47:00 +0100
Subject: [PATCH] fix(engine): `impl_infos` can be duplicated because of names
 crate

---
 engine/lib/concrete_ident/concrete_ident.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/engine/lib/concrete_ident/concrete_ident.ml b/engine/lib/concrete_ident/concrete_ident.ml
index 5c8657fc7..c77ea9367 100644
--- a/engine/lib/concrete_ident/concrete_ident.ml
+++ b/engine/lib/concrete_ident/concrete_ident.ml
@@ -174,7 +174,8 @@ end = struct
     state :=
       impl_infos
       |> List.map ~f:(map_fst Imported.of_def_id)
-      |> Hashtbl.of_alist_exn (module T)
+      |> Hashtbl.of_alist_multi (module T)
+      |> Hashtbl.map ~f:List.hd_exn
       |> Option.some
 
   let get_state () =