26c26
< * $Id: db_output.h,v 1.6 1994/09/27 12:15:53 davidg Exp $
---
> * $Id: db_output.h,v 1.7 1995/05/30 07:57:04 rgrimes Exp $
30c30
< #define _DDB_DB_OUTPUT_H_ 1
---
> #define _DDB_DB_OUTPUT_H_
41,44c41,45
< extern void db_force_whitespace();
< extern int db_print_position();
< extern void db_end_line();
< #endif /* _DDB_DB_OUTPUT_H_ */
---
> void db_end_line __P((void));
> void db_force_whitespace __P((void));
> int db_print_position __P((void));
>
> #endif /* !_DDB_DB_OUTPUT_H_ */