Remove a warning.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Thu, 15 Feb 2018 15:30:14 +0000 (16:30 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Thu, 15 Feb 2018 15:30:14 +0000 (16:30 +0100)
commita2b1260fdc9092cc70f5b1ef760104c09d4f325a
tree00a3e872afd24e2d81afaab39c7d53cac20f6ec4
parent6a07c594570f404d8c887c56a238ee81a4937af9
Remove a warning.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
philosophe/philosophe.c