clumsy fix for nonExist in pgf-translate

1 files changed, 7 insertions, 1 deletions

diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c
index abd22267c..79a4fdd42 100644
--- a/src/runtime/c/utils/pgf-translate.c
+++ b/src/runtime/c/utils/pgf-translate.c
@@ -34,7 +34,13 @@ print_result(PgfExprProb* ep, PgfConcr* to_concr,
 		gu_putc(' ', out, err);
 		// Linearize the concrete tree as a simple
 		// sequence of strings.
-		pgf_lzr_linearize_simple(to_concr	, ctree, 0, out, err);
+		pgf_lzr_linearize_simple(to_concr, ctree, 0, out, err);
+		if (gu_exn_caught(err) == gu_type(PgfLinNonExist)) {
+			// encountered nonExist. Unfortunately there
+			// might be some output printed already. The
+			// right solution should be to use GuStringBuf.
+			gu_exn_clear(err);
+		}
 		gu_putc('\n', out, err);
 		gu_out_flush(out, err);
 	}