genometools/genometools — pull request #486 by satta (2014-12-03 10:34:16+00:00)
Title: fix splint issues

This PR makes the code processable with Splint.

Tested using Splint 3.1.2, Mac OS X.