/*
	Copyright 1999, Be Incorporated.   All Rights Reserved.
	This file may be used under the terms of the Be Sample Code License.
*/

#include "error.h"

void
fatalerror(char *s)
{
  printf("FATAL ERROR: %s\n",s);
};