From 6cb693bdf54f5df9766687dc6bbed9a5a854ef02 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 7 Mar 2014 09:35:57 +0000 Subject: [PATCH] bugfix in pgf-translate --- src/runtime/c/utils/pgf-translate.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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