7.11 Printing

OZ_warning

void OZ_warning(char *format ...)

Prints a warning message to the standard error device. Can be used like printf(3).