options.c: directly include required header
commitb9b1e9bc257ad2ff8ed2c2196362a1f7628918a8
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Dec 2016 10:38:40 +0000 (21 11:38 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 2 Feb 2017 14:59:06 +0000 (2 15:59 +0100)
tree839526c499cec210117d5324b9173927b3d3919a
parent4028cc17841cd93abe6b1056d63b363866aefd47
options.c: directly include required header

Do so instead of relying on the header getting included indirectly.

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