use linref in the C linearizer. The robust linearization is now fully supported

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);
-}