--- Gnu-Mach/ddb/db_output.h	2020/09/02 04:36:57	1.1.1.1
+++ Gnu-Mach/ddb/db_output.h	2020/09/02 04:43:16	1.1.1.2
@@ -35,10 +35,6 @@
 extern void	db_force_whitespace();
 extern int	db_print_position();
 extern void	db_end_line();
-#if 1
-extern void	db_printf();
-#else
-extern void	db_printf( char *fmt, ...);
-#endif
+extern void	db_printf( const char *fmt, ...);