diff options
| -rw-r--r-- | gnu/usr.bin/sudo/sudo/check.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/usr.bin/sudo/sudo/check.c b/gnu/usr.bin/sudo/sudo/check.c index 8a3dd771c13..bbebb26607c 100644 --- a/gnu/usr.bin/sudo/sudo/check.c +++ b/gnu/usr.bin/sudo/sudo/check.c @@ -36,7 +36,7 @@ */ #ifndef lint -static char rcsid[] = "$Id: check.c,v 1.2 1996/11/17 16:33:55 millert Exp $"; +static char rcsid[] = "$Id: check.c,v 1.3 1996/11/22 08:02:01 mickey Exp $"; #endif /* lint */ #include "config.h" @@ -75,7 +75,7 @@ static char rcsid[] = "$Id: check.c,v 1.2 1996/11/17 16:33:55 millert Exp $"; # include <prot.h> #endif /* SPW_SECUREWARE */ #ifdef HAVE_KERB4 -# include <krb.h> +# include <kerberosIV/krb.h> #endif /* HAVE_KERB4 */ #ifdef HAVE_AFS # include <afs/stds.h> |