diff options
| -rw-r--r-- | src/runtime/c/utils/pgf-translate.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c index c3ae578f9..79420cf49 100644 --- a/src/runtime/c/utils/pgf-translate.c +++ b/src/runtime/c/utils/pgf-translate.c @@ -34,7 +34,8 @@ print_result(PgfExprProb* ep, PgfConcr* to_concr, gu_putc(' ', out, err); // Linearize the concrete tree as a simple // sequence of strings. - pgf_linearize(to_concr, ctree, out, err); + pgf_lzr_linearize_simple(to_concr, ctree, 0, out, err, ppool); + if (gu_exn_caught(err) == gu_type(PgfLinNonExist)) { // encountered nonExist. Unfortunately there // might be some output printed already. The |