Don't try calling lsl when file is missing.

[splint-patched.git] / test / pivo.h

typedef /*@abstract@*/ int pivo;