Actually add demoted element to aliases of canonical

OCamlPro · Feb 10, 2025 · 359c03b · 359c03b
1 parent 6819918
commit 359c03b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/data_structures/union_find.ml b/src/data_structures/union_find.ml
@@ -168,7 +168,7 @@ module Make (X : VariableType) : S with type key = X.t = struct
         | Some lhs_datum, Some rhs_datum -> Some (merge lhs_datum rhs_datum)
       in
       let node =
-        { aliases = SX.union lhs_node.aliases rhs_node.aliases;
+        { aliases = SX.add demoted (SX.union lhs_node.aliases rhs_node.aliases);
           cardinal = lhs_node.cardinal + rhs_node.cardinal + 1;
           datum
         }