1c1
< /* $Header: /src/pub/tcsh/tc.disc.c,v 3.13 2002/07/06 22:28:13 christos Exp $ */
---
> /* $Header: /src/pub/tcsh/tc.disc.c,v 3.15 2004/11/23 02:10:49 christos Exp $ */
36c36
< RCSID("$Id: tc.disc.c,v 3.13 2002/07/06 22:28:13 christos Exp $")
---
> RCSID("$Id: tc.disc.c,v 3.15 2004/11/23 02:10:49 christos Exp $")
44c44
< static bool add_discipline = 0; /* Did we add a line discipline */
---
> static int add_discipline = 0; /* Did we add a line discipline */
167a168
> USE(f);
194a196
> USE(f);