Added support for or constraints.

[splint.git] / src / Headers / constraintOutput.h

void ConPrint (char * string, fileloc loc) /*@*/;

void BPRINTF (char * string) /*@*/;