diff: bugfix for runtime cleanup.

[Tyson Dowd]

Hi,

This doesn't need a review.

===================================================================


Estimated hours taken: 0.2

Fix a bug in the change to clean up the runtime.

runtime/Mmakefile:
	Add mercury_grade.h to the list of headers. Without this,
	it doesn't get installed.


Index: runtime/Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/runtime/Mmakefile,v
retrieving revision 1.19
diff -u -r1.19 Mmakefile
--- Mmakefile	1997/11/21 12:21:48	1.19
+++ Mmakefile	1997/12/02 05:00:23
@@ -25,6 +25,7 @@
 HDRS		=	\
 		  	mercury_engine.h	\
 			mercury_getopt.h	\
+			mercury_grade.h		\
 			mercury_goto.h		\
 			mercury_heap.h		\
 			mercury_imp.h		\


-- 
       Tyson Dowd           # 
                            #         Linux versus Windows is a 
     trd at cs.mu.oz.au        #            Win lose situation.
http://www.cs.mu.oz.au/~trd #