last changes for today

This commit is contained in:
microproofs
2023-07-29 19:02:37 -04:00
committed by Kasey
parent db79468435
commit a45ff692a6
2 changed files with 7 additions and 2 deletions

View File

@@ -1381,7 +1381,7 @@ impl AirTree {
) {
let mut index_count = IndexCounter::new();
tree_path.push(current_depth, depth_index);
with(self, tree_path);
match self {
AirTree::Statement {
statement,
@@ -1772,7 +1772,6 @@ impl AirTree {
},
a => unreachable!("GOT THIS {:#?}", a),
}
with(self, tree_path);
tree_path.pop();
}