fix(engine): impl_infos can be duplicated because of names crate

cryspen · Jan 11, 2024 · 99cfc34 · 99cfc34
1 parent 15e6191
commit 99cfc34
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 () =