home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / imports / assert.lcl next >
Text File  |  2000-06-12  |  51b  |  6 lines
  1. /*
  2. ** assert.h
  3. */
  4.  
  5. void assert() { ensures true; }
  6.