trivial diff: remove table_printf()

[Fergus Henderson]

runtime/mercury_tabling.h:
	Delete the definition of `table_printf()', since it wasn't being used.

Index: runtime/mercury_tabling.h
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_tabling.h,v
retrieving revision 1.5
diff -u -r1.5 mercury_tabling.h
--- mercury_tabling.h	1998/07/22 07:53:17	1.5
+++ mercury_tabling.h	1998/07/26 14:28:29
@@ -117,32 +117,4 @@
 #define table_copy_mem(Dest, Source, Size)				\
 	memcpy(Dest, Source, Size)
 
-#ifdef MR_TABLE_DEBUG
-
-#include <stdio.h>
-#include <stdarg.h>
-
-/* XXX should move this to mercury_tabling.c */
-
-static void
-table_printf(const char *format, ...)
-{
-	va_list list;
-	
-	va_start(list);
-	vprintf(format, list);
-	va_end(list);
-}
-
-#else /* not MR_TABLE_DEBUG */
-
-/* XXX should move this to mercury_tabling.c */
-
-static void
-table_printf(const char *format, ...)
-{
-}
-
-#endif /* not MR_TABLE_DEBUG */
-
 #endif /* not MERCURY_TABLING_H */

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.