/*
 *	$Source$
 *	$Author$
 *	$Header$
 *
 *	Copyright (C) 1987 by the Massachusetts Institute of Technology
 *
 *	$Log$
 *	Revision 1.1  1987-07-13 03:53:09  wesommer
 *	Initial revision
 *
 */

#ifndef lint
static char *rcsid_dumprest_qc = "$Header$";
#endif lint

#include <stdio.h>
#include <sys/file.h>
#include <strings.h>

punt(msg)
	char *msg;
{
	perror(msg);
##	exit
	exit(1);
}




/*
 * Local Variables:
 * mode: c
 * c-indent-level: 4
 * c-continued-statement-offset: 4
 * c-brace-offset: -4
 * c-argdecl-indent: 4
 * c-label-offset: -4
 * End:
 */