summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/pgf.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/runtime/c/pgf/pgf.c')
-rw-r--r--src/runtime/c/pgf/pgf.c15
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);
-}