Added html version of manual. (This is the 7 Jan 2002 version.)

[splint.git] / imports / assert.lcl

/*
** assert.h
*/

void assert() { ensures true; }