diff options
author | JSDurand <mmemmew@gmail.com> | 2023-08-04 10:12:04 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-08-04 10:12:04 +0800 |
commit | 7033187abaf42772097377c0a1ffc2cd4cefdada (patch) | |
tree | 4fe0801fd07d965d009570f984c88af363a5bc7e /chain/src/item/reduction.rs | |
parent | 228b51fe7941e2b180ee3ea99dfea4bfcbd6770b (diff) |
minor adjustments
Not bug deals but adjustments of details.
Diffstat (limited to 'chain/src/item/reduction.rs')
-rw-r--r-- | chain/src/item/reduction.rs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/chain/src/item/reduction.rs b/chain/src/item/reduction.rs index 512862a..8f7471c 100644 --- a/chain/src/item/reduction.rs +++ b/chain/src/item/reduction.rs @@ -412,11 +412,6 @@ impl DefaultForest<ForestLabel<GrammarLabel>> { // NOTE: We must fix the order from top to bottom: this is the // reverse order of `order_of_correct_ends` . - // if node == 15 && pos == 2 { - // dbg!(&order_of_correct_ends); - // let _ = self.print_viz("pos before splone.gv"); - // } - for node in order_of_correct_ends.into_iter().rev() { let label = self.vertex_label(node)?.ok_or(Error::NodeNoLabel(node))?; let degree = self.degree(node)?; |