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