summaryrefslogtreecommitdiff
path: root/compiler/ReorderDecls.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/ReorderDecls.ml')
-rw-r--r--compiler/ReorderDecls.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ReorderDecls.ml b/compiler/ReorderDecls.ml
index 9e15da4e..fc4744bc 100644
--- a/compiler/ReorderDecls.ml
+++ b/compiler/ReorderDecls.ml
@@ -188,7 +188,7 @@ let group_reorder_fun_decls (decls : fun_decl list) :
assert (FunIdSet.pairwise_disjoint (List.map FunIdSet.of_list sccs));
(* Check that all the ids are in the sccs *)
let scc_ids = FunIdSet.of_list (List.concat sccs) in
- assert (scc_ids = ids)
+ assert (FunIdSet.equal scc_ids ids)
in
(* Group the declarations *)