Skip to content
Snippets Groups Projects
Commit 937c8510 authored by Thibault Martin's avatar Thibault Martin Committed by Allan Blanchard
Browse files

Fix: Use correct comparison function

parent 72cf4023
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/typing/populate_spec.ml
+ 1
− 1
View file @ 937c8510
...@@ -129,7 +129,7 @@ struct ...@@ -129,7 +129,7 @@ struct
let combine_default (clauses : clause list) = let combine_default (clauses : clause list) =
let collect acc clauses = List.rev_append (List.rev clauses) acc in let collect acc clauses = List.rev_append (List.rev clauses) acc in
let preds = let preds =
List.sort_uniq (Cil_datatype.Predicate.compare) @@ List.sort_uniq (Cil_datatype.PredicateStructEq.compare) @@
List.map List.map
(fun p -> p.ip_content.tp_statement) (fun p -> p.ip_content.tp_statement)
(snd @@ List.split @@ List.fold_left collect [] clauses) (snd @@ List.split @@ List.fold_left collect [] clauses)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment