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 () =