This commit is contained in:
imaqtkatt 2024-03-27 16:44:03 -03:00
parent ec24ae2a80
commit bbc714635e

View File

@ -53,7 +53,7 @@ impl Term {
continue;
}
// Recusively float the children terms.
// Recursively float the children terms.
term.float_combinators(combinators, name_gen, book, def_name, builtin, seen);
match term {