*** charproc.c.orig	Fri May 24 01:55:07 2002
--- charproc.c	Fri May 24 01:55:12 2002
***************
*** 81,88 ****
  
  extern Widget toplevel;
  extern void exit();
- extern char *malloc();
- extern char *realloc();
  
  extern void FlushScroll();
  extern void InsertLine();
--- 81,86 ----