/*
 * done.c -- terminate the program
 *
 * $Id: done.c,v 1.1.1.1 1999/04/01 00:01:44 nathanw Exp $
 */

#include <h/mh.h>

void
done (int status)
{
    exit (status);
}