diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index 8aaf383f20b794d7b16f23186262637351dbbf16..3164f227db59f6ef52aa48f99ba332b4dc96b9d0 100644
--- a/src/kernel_internals/typing/populate_spec.ml
+++ b/src/kernel_internals/typing/populate_spec.ml
@@ -129,7 +129,7 @@ struct
   let combine_default (clauses : clause list) =
     let collect acc clauses = List.rev_append (List.rev clauses) acc in
     let preds =
-      List.sort_uniq (Cil_datatype.Predicate.compare) @@
+      List.sort_uniq (Cil_datatype.PredicateStructEq.compare) @@
       List.map
         (fun p -> p.ip_content.tp_statement)
         (snd @@ List.split @@ List.fold_left collect [] clauses)