/*
* done.c -- terminate the program
*
- * $Id$
- *
* This code is Copyright (c) 2002, by the authors of nmh. See the
* COPYRIGHT file in the root directory of the nmh distribution for
* complete copyright information.
#include <h/mh.h>
-void (*done) (int) = exit;
+void (*done) (int) NORETURN = exit;