]> andersk Git - splint.git/blob - imports/assert.lcl
Fixed some splintme errors from the previous code change.
[splint.git] / imports / assert.lcl
1 /*
2 ** assert.h
3 */
4
5 void assert() { ensures true; }
This page took 0.060584 seconds and 5 git commands to generate.