[splint-discuss] Another LCL error.

[splint at coreland.ath.cx]

$ cat bin.lcl
/*
 * Copy size bytes of source to target.
 */

void
bin_copy (const void * source, void * target, unsigned long size)
{
  requires
    (maxRead (source) >= size) /\
    (maxSet (target) >= size);
  ensures
    (maxRead (target) >= size);
}

$ splint +strict +partial bin.lcl
Splint 3.1.2 --- 24 May 2009

bin.lcl:6:11: syntax error: Token code: constTOKEN, Token String: const
*** Cannot continue