#include        <stdio.h>
#include        "error.h"

void std_error_handler(char *file, int line, char *mesg)
{
  fprintf(stdout,"Error in file \"%s\", line %d: %s\n",
          file, line, mesg);
  fprintf(stderr,"Error in file \"%s\", line %d: %s\n",
          file, line, mesg);
  exit(1);
}