fixing the rescheduling edgecase

This commit is contained in:
Jakub Doka 2024-11-10 11:04:04 +01:00
parent 29a23cec0c
commit 7865d692a1
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143

View file

@ -392,6 +392,8 @@ impl Nodes {
}
}
buf.sort_by_key(|&n| !self.is_cfg(n));
if outputs.len() != buf.len() {
panic!("{:?} {:?}", outputs, buf);
}