Closed tidoust closed 1 month ago
There were a couple of cases where algorithm extraction got confused while parsing sub-steps, either because another sub-step had a <dfn> or because the logic recursively went back to the root of the algorithm instead of stopping at the parent step.
<dfn>
There were a couple of cases where algorithm extraction got confused while parsing sub-steps, either because another sub-step had a
<dfn>or because the logic recursively went back to the root of the algorithm instead of stopping at the parent step.