diff options
-rw-r--r-- | sys/ddb/db_output.h | 3 | ||||
-rw-r--r-- | sys/ddb/ddb.h | 3 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sys/ddb/db_output.h b/sys/ddb/db_output.h index 2ce3a5e..3bfd710 100644 --- a/sys/ddb/db_output.h +++ b/sys/ddb/db_output.h @@ -23,7 +23,7 @@ * any improvements or extensions that they make and grant Carnegie the * rights to redistribute these changes. * - * $Id: db_output.h,v 1.4 1993/11/25 01:30:09 wollman Exp $ + * $Id: db_output.h,v 1.5 1994/09/27 03:34:55 phk Exp $ */ #ifndef _DDB_DB_OUTPUT_H_ @@ -41,5 +41,4 @@ extern void db_force_whitespace(); extern int db_print_position(); extern void db_end_line(); -extern void db_printf(char *,...); #endif /* _DDB_DB_OUTPUT_H_ */ diff --git a/sys/ddb/ddb.h b/sys/ddb/ddb.h index dd1cbd4..a72b5ca 100644 --- a/sys/ddb/ddb.h +++ b/sys/ddb/ddb.h @@ -27,7 +27,7 @@ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF * SUCH DAMAGE. * - * $Id: ddb.h,v 1.2 1994/05/25 08:51:18 rgrimes Exp $ + * $Id: ddb.h,v 1.3 1994/09/27 12:11:09 davidg Exp $ */ /* @@ -90,6 +90,7 @@ extern int db_get_variable (db_expr_t *valuep); extern void db_putchar (int c); extern void db_error (char *s); extern int db_readline (char *lstart, int lsize); +extern void db_printf (const char *fmt, ...); extern void db_check_interrupt(void); extern void db_print_loc_and_inst (db_addr_t loc); |