Inria-Asclepios/RPI — pull request #9 by papadop (2013-11-18 16:27:50+00:00)
Title: Silence some new gcc warnings.

With gcc-4.8.2 some new warnings are added to -Wall. Notably there is one that shows locally defined types that are not used. This patch set corrects those warnings.