]> andersk Git - splint.git/blame - imports/assert.lcl
Fixed type error causing a seg fault.
[splint.git] / imports / assert.lcl
CommitLineData
885824d3 1/*
2** assert.h
3*/
4
5void assert() { ensures true; }
This page took 0.049644 seconds and 5 git commands to generate.