]> andersk Git - splint.git/blob - test/pivo.h
Fixed problem with NULL being changed.
[splint.git] / test / pivo.h
1 typedef /*@abstract@*/ int pivo;
This page took 0.0465 seconds and 5 git commands to generate.