Fixed overly agressive assertions (from checking splint *.c in test/)

[splint.git] / test / impabstract.lcl

typedef int mint;
mutable type cint;