X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_printer.c;h=e0821f2a2b4ef5d57ee6927d9e436b9f6b587a72;hb=6cb1cd6dc56327454d959349079cf98cdd39b7a7;hp=17932708b21a7ba553148d1f44b63c126da6145a;hpb=6940256c0e65aa7e5265ea72df433cd2c168c69e;p=platform%2Fupstream%2Fisl.git

diff --git a/isl_printer.c b/isl_printer.c
index 1793270..e0821f2 100644
--- a/isl_printer.c
+++ b/isl_printer.c
@@ -163,15 +163,13 @@ static __isl_give isl_printer *str_print_isl_int(__isl_take isl_printer *p,
 {
 	char *s;
 	int len;
-	isl_int_print_gmp_free_t gmp_free;
 
 	s = isl_int_get_str(i);
 	len = strlen(s);
 	if (len < p->width)
 		p = str_print_indent(p, p->width - len);
 	p = str_print(p, s, len);
-	mp_get_memory_functions(NULL, NULL, &gmp_free);
-	(*gmp_free)(s, len + 1);
+	isl_int_free_str(s);
 	return p;
 }