Leave todo message for tomorrow

This commit is contained in:
microproofs 2024-10-17 18:43:05 -04:00
parent 7966cc0165
commit 9601c1034b
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 5 additions and 4 deletions

View File

@ -325,14 +325,15 @@ impl<'a, 'b> TreeGen<'a, 'b> {
}) })
.collect_vec(); .collect_vec();
let tree_gen = &mut self; let tree = self.do_build_tree(
tree_gen.do_build_tree(
subject_name, subject_name,
subject_tipo, subject_tipo,
PatternMatrix { rows }, PatternMatrix { rows },
&mut clause_then_map, &mut clause_then_map,
) );
// Do hoisting of thens here
tree
} }
fn do_build_tree( fn do_build_tree(