mirrors/jj
1
0
Fork 1
mirror of https://github.com/martinvonz/jj.git synced 2024-12-27 06:27:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

view: drop redundant filtering of ancestors of public heads

Browse source 
I added `enforce_invariants()` in 1f593a4193 and then forgot to use
it in 4db3d8d3a6.
This commit is contained in:
Martin von Zweigbergk 2021-03-08 23:10:18 -08:00
parent f755c3f740
commit e6aa2402a6
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lib/src/view.rs
View file

@ -203,7 +203,6 @@ pub fn merge_views(
for added_head in right.public_head_ids.difference(&base.public_head_ids) {
result.public_head_ids.insert(added_head.clone());
}
result.public_head_ids = heads_of_set(store, result.public_head_ids.into_iter());
for removed_head in base.head_ids.difference(&right.head_ids) {
result.head_ids.remove(removed_head);