20 lines
404 B
C
20 lines
404 B
C
/*
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
|
*/
|
|
#ifndef lint
|
|
static char rcsid[] = "$Id$";
|
|
#endif
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <stdint.h>
|
|
#include <stdbool.h>
|
|
#include "error.h"
|
|
|
|
int infile; /* The current input file. */
|
|
|
|
void rd_fatal(void)
|
|
{
|
|
fatal("read error");
|
|
}
|