From fed16ca9e522b58ba7d7a4a4088b32144fcbbe23 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Wed, 30 Oct 2013 21:43:52 +0000
Subject: use linref in the C linearizer. The robust linearization is now fully
 supported

---
 src/runtime/c/pgf/pgf.c | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'src/runtime/c/pgf/pgf.c')

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);
-}
-- 
cgit v1.2.3