*** kern/kern_exit.c.orig	Sun Jun 25 07:12:06 1995
--- kern/kern_exit.c	Tue Jul 18 01:47:30 1995
***************
*** 121,126 ****
--- 121,130 ----
  	p->p_siglist = 0;
  	untimeout(realitexpire, (caddr_t)p);
  
+ #ifdef MRITIMER
+ 	mritexit(p);	/* Destroy any mrtimers owned by this process. */
+ #endif /* MRITIMER */
+ 
  	/*
  	 * Close open files and release open-file table.
  	 * This may block!