From 5d4a456ae6af550a39280b98554b42716a07f8ff Mon Sep 17 00:00:00 2001
From: aiju <devnull@localhost>
Date: Tue, 20 Mar 2018 11:23:41 +0000
Subject: libsat: setmalloctag, fix incorrect allocation size

---
 sys/src/libsat/misc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sys/src/libsat/misc.c')

diff --git a/sys/src/libsat/misc.c b/sys/src/libsat/misc.c
index e7e843529..f62aed431 100644
--- a/sys/src/libsat/misc.c
+++ b/sys/src/libsat/misc.c
@@ -106,6 +106,7 @@ satrealloc(SATSolve *s, void *v, ulong n)
 	v = realloc(v, n);
 	if(v == nil)
 		saterror(s, "realloc: %r");
+	setmalloctag(v, getcallerpc(&s));
 	return v;
 }
 
-- 
cgit v1.2.3