From 319c8b63bc51a8664e54eb2cc14e4efce7f15591 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 17 Apr 2014 12:09:50 +0200
Subject: [PATCH] isl_printer_free: free indent_prefix

We missed this in 023740f (isl_printer: add indent_prefix,
Sat Feb 8 14:31:30 2014 +0100).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_printer.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isl_printer.c b/isl_printer.c
index a1cda4f1..d5407fce 100644
--- a/isl_printer.c
+++ b/isl_printer.c
@@ -265,6 +265,7 @@ __isl_null isl_printer *isl_printer_free(__isl_take isl_printer *p)
 	if (!p)
 		return NULL;
 	free(p->buf);
+	free(p->indent_prefix);
 	free(p->prefix);
 	free(p->suffix);
 	isl_ctx_deref(p->ctx);
-- 
2.11.4.GIT