/* werr.h
 * Copyright (C) Acorn Computers Ltd., 1989
 * Copyright (C) Codemist Ltd., 1989
 */
#ifndef __werr_h
#define __werr_h
void werr(int fatal, char* format, ...);
#endif
