util.c: drop redundant include
commit82ce9e02748304dbc94f01bb15655ba53eb4765c
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 1 Jan 2017 13:48:09 +0000 (1 14:48 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 5 Feb 2017 16:49:18 +0000 (5 17:49 +0100)
tree4821432aff007f93b57f7400c94331799646b20a
parentc1a947fd75bbba9a411d730bac51b923ab44497b
util.c: drop redundant include

Since 0d388fa (barvinok/polylib.h: separate include of polylib header,
Sun Nov 19 00:21:48 2006 +0100), <barvinok/util.h> is included
a second time, but apparently only for its effect of including
<barvinok/polylib.h>.  Now that <barvinok/polylib.h> is included
directly, the second include of <barvinok/util.h> is no longer needed.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
util.c