From e3aa392e63b0d0f314b286d207cd187be5837ad8 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Wed, 4 Oct 2017 09:45:56 +0200 Subject: further extend the API of the C runtime --- src/runtime/c/pgf/expr.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/runtime/c/pgf/expr.h') diff --git a/src/runtime/c/pgf/expr.h b/src/runtime/c/pgf/expr.h index 013de08f4..e560d3a83 100644 --- a/src/runtime/c/pgf/expr.h +++ b/src/runtime/c/pgf/expr.h @@ -234,6 +234,10 @@ PGF_API_DECL void pgf_print_type(PgfType *type, PgfPrintContext* ctxt, int prec, GuOut* out, GuExn *err); +PGF_API_DECL void +pgf_print_context(PgfHypos *hypos, PgfPrintContext* ctxt, + GuOut *out, GuExn *err); + PGF_API_DECL void pgf_print_expr_tuple(size_t n_exprs, PgfExpr exprs[], PgfPrintContext* ctxt, GuOut* out, GuExn* err); -- cgit v1.2.3