barvinok_summate.c: verify: fix memory management annotation
commitb4c4bc2a8d10b1d90f987e23aef91ddbfad72aef
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 30 Apr 2022 14:53:45 +0000 (30 16:53 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 30 Apr 2022 14:53:45 +0000 (30 16:53 +0200)
treea1cfb0bc5fa9f4d6763a14d9fe4421a2a6955898
parentd7f55ef46473b5dcd527882bd91ef0ac2eda569a
barvinok_summate.c: verify: fix memory management annotation

The wrong annotation was introduced in barvinok-0.32.1-26-ge6fe2be3f2
(barvinok_summate: use isl interface, Wed Nov 10 16:46:55 2010 +0100).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
barvinok_summate.c