summaryrefslogtreecommitdiff
path: root/graph/src/labelled/binary.rs
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-02-12 15:49:28 +0800
committerJSDurand <mmemmew@gmail.com>2023-02-12 15:49:28 +0800
commit68d3baa1346aec734f4f98a3044c0056694f1b76 (patch)
treef5f7e114c6bdf848d7cdd77c319f1d379d82b847 /graph/src/labelled/binary.rs
parent987c84f3454c687cca0efe0d471fcf00e052ecab (diff)
fix clone not changing the root
Previously cloning a node does not alter the root of the forest, while it should alter the root if the cloned node was the root. This would affect how we compare the equalities of forests. It indeed resulted in anomalies that were hard to solve.
Diffstat (limited to 'graph/src/labelled/binary.rs')
0 files changed, 0 insertions, 0 deletions