Make gcc -Wall happy

This commit is contained in:
Guido van Rossum 1996-12-02 18:27:33 +00:00
parent bda7ca7772
commit fd8a393086
6 changed files with 29 additions and 20 deletions

View file

@ -54,6 +54,8 @@ PERFORMANCE OF THIS SOFTWARE.
extern char *readline();
extern int rl_initialize();
extern int rl_insert();
extern int rl_bind_key();
extern void add_history();
extern char *rl_readline_name;
#include <setjmp.h>