From 937c85103e7c8361b0cace88ffef46f4e45779be Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Tue, 25 Jul 2023 15:22:22 +0200
Subject: [PATCH] Fix: Use correct comparison function
---
src/kernel_internals/typing/populate_spec.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index 8aaf383f20b..3164f227db5 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)
--
GitLab