diff options
Diffstat (limited to 'src/runtime/c/pgf/pgf.c')
| -rw-r--r-- | src/runtime/c/pgf/pgf.c | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/runtime/c/pgf/pgf.c b/src/runtime/c/pgf/pgf.c index 39b032adb..e804f5ce7 100644 --- a/src/runtime/c/pgf/pgf.c +++ b/src/runtime/c/pgf/pgf.c @@ -215,18 +215,3 @@ pgf_print_name(PgfConcr* concr, PgfCId id) name = id; return name; } - -void -pgf_linearize(PgfConcr* concr, PgfExpr expr, GuOut* out, GuExn* err) -{ - GuPool* tmp_pool = gu_local_pool(); - - GuEnum* cts = - pgf_lzr_concretize(concr, expr, tmp_pool); - PgfCncTree ctree = gu_next(cts, PgfCncTree, tmp_pool); - if (!gu_variant_is_null(ctree)) { - pgf_lzr_linearize_simple(concr, ctree, 0, out, err); - } - - gu_pool_free(tmp_pool); -} |
