flush the pre stack at the end of the linearization as well

2026-05-09 03:02:50 -06:00 · 2021-12-03 14:52:31 +01:00
parent d10f63c16b
commit 348963d13c
2 changed files with 10 additions and 7 deletions
--- a/src/runtime/c/pgf/linearizer.h
+++ b/src/runtime/c/pgf/linearizer.h
@@ -82,6 +82,7 @@ public:
    void reverse_and_label();
    void linearize(PgfLinearizationOutputIface *out) {
        linearize(out, root, 0);
+        flush_pre_stack(out, NULL);
    }

    ~PgfLinearizer();