[splint-discuss] parse error?

[CBFalconer]

Niall Dalton wrote:
> 
> This little example seems to cause an error in splint; any hints
> on the best way of avoiding this?
> 
> #include <inttypes.h>
> 
> void print64BitWord(uint64_t word){
>     printf("Word in hex is %" PRIx64 "\n", word);
> }
> 
> Splint 3.1.1 --- 02 Jul 2003
> test.c:4:43: Parse Error.

er - correct the source code?

-- 
Chuck F (cbfalconer at yahoo.com) (cbfalconer at worldnet.att.net)
   Available for consulting/temporary embedded and systems.
   <http://cbfalconer.home.att.net>  USE worldnet address!