diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-03-07 09:35:57 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-03-07 09:35:57 +0000 |
| commit | 6cb693bdf54f5df9766687dc6bbed9a5a854ef02 (patch) | |
| tree | d164bed6cfb3c15d667c6902687e90086fef167d /src/runtime/c/utils/pgf-translate.c | |
| parent | 052ead6797a4767f12f284e37c298cad4077aa66 (diff) | |
bugfix in pgf-translate
Diffstat (limited to 'src/runtime/c/utils/pgf-translate.c')
| -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 |