Added support for omitted if clauses in conditionals, patch provided by peteran.

[splint.git] / test / pivo.h

typedef /*@abstract@*/ int pivo;